Skip to content

Updates for 1.0 core libraries #16

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Jun 4, 2016
Merged

Updates for 1.0 core libraries #16

merged 1 commit into from
Jun 4, 2016

Conversation

paf31
Copy link
Contributor

@paf31 paf31 commented Jun 3, 2016

cc @ethul

@ethul
Copy link
Collaborator

ethul commented Jun 3, 2016

Looks great. Thanks for the update. I am happy to do the merge if you like.
Is the plan to bump this to version 1.0.0?

On Friday, 3 June 2016, Phil Freeman [email protected] wrote:

cc @ethul https://github.com/ethul

You can view, comment on, or merge this pull request online at:

#16
Commit Summary

  • Updates for 1.0 core libraries

File Changes

Patch Links:

https://github.com/purescript-contrib/purescript-options/pull/16.patch


You are receiving this because you were mentioned.
Reply to this email directly, view it on GitHub
#16, or mute
the thread
https://github.com/notifications/unsubscribe/AAVYy0JpysUx4k6aTvdNlACpjm68lzoJks5qH6pjgaJpZM4ItMHN
.

@paf31
Copy link
Contributor Author

paf31 commented Jun 3, 2016

Is the plan to bump this to version 1.0.0?

That's what I've been doing with my contrib libraries, for the same reason as core - just to follow semver properly, not as any indication of doneness - but it's up to you.

@ethul
Copy link
Collaborator

ethul commented Jun 3, 2016

Bumping to 1.0 sounds good to me. Thanks!

@ethul ethul merged commit fa746d5 into master Jun 4, 2016
@ethul ethul deleted the 1.0-updates branch June 4, 2016 02:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

2 participants