Skip to content

Conversation

@kritzcreek
Copy link
Member

Fixes #3068

This was bothering me, so I picked it up and did it so we can have it shipped with 0.12

@kritzcreek kritzcreek merged commit 46a3dcd into purescript:master Sep 13, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants