Skip to content

Conversation

arianvp
Copy link
Contributor

@arianvp arianvp commented Apr 18, 2016

No description provided.

@paf31 paf31 merged commit 5fd4c6e into purescript:master Apr 18, 2016
@paf31
Copy link
Contributor

paf31 commented Apr 18, 2016

👍 Thanks 😄

@arianvp arianvp deleted the patch-1 branch April 18, 2016 16:02
@garyb
Copy link
Member

garyb commented Apr 18, 2016

🙈 my mistake.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants