Skip to content

Conversation

@hdgarrood
Copy link
Contributor

Like @garyb suggested.

@garyb
Copy link
Member

garyb commented Apr 30, 2015

👍

garyb added a commit that referenced this pull request Apr 30, 2015
@garyb garyb merged commit f03d590 into purescript:master Apr 30, 2015
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.

2 participants