Skip to content
This repository was archived by the owner on Oct 4, 2020. It is now read-only.

Conversation

@bodil
Copy link
Contributor

@bodil bodil commented Oct 17, 2016

No description provided.

@jutaro
Copy link

jutaro commented Oct 19, 2016

Can you please pull, I need this too!

@garyb
Copy link
Member

garyb commented Oct 19, 2016

I'll get this done today - there's a few other PRs that need merging too. Thanks @bodil!

@garyb garyb merged commit 9b40110 into purescript-deprecated:master Oct 20, 2016
@garyb
Copy link
Member

garyb commented Oct 20, 2016

@bodil @jutaro Now released as v3.0.0 - sorry for the delay!

@jutaro
Copy link

jutaro commented Oct 20, 2016

Cool, thanks

2016-10-20 16:12 GMT+02:00 Gary Burgess [email protected]:

@bodil https://github.com/bodil @jutaro https://github.com/jutaro Now
released as v3.0.0 - sorry for the delay!


You are receiving this because you were mentioned.
Reply to this email directly, view it on GitHub
#66 (comment),
or mute the thread
https://github.com/notifications/unsubscribe-auth/AAlqz3RsF4BhZ50Z56oxlExKfpWCBcQCks5q13a1gaJpZM4KZMuD
.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants