Skip to content

Conversation

@colehaus
Copy link

@colehaus colehaus commented May 7, 2018

No description provided.

@garyb garyb changed the base branch from master to compiler/0.12 May 22, 2018 20:00
@garyb
Copy link
Member

garyb commented May 22, 2018

Thanks!

@garyb garyb merged commit 3698355 into purescript:compiler/0.12 May 22, 2018
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