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

updates for 0.12 #19

Merged

Conversation

justinwoo
Copy link
Contributor

should go in compiler/0.12

@kritzcreek kritzcreek changed the base branch from master to compiler/0.12 May 14, 2018 10:16
@kritzcreek kritzcreek merged commit 81e5ac2 into purescript-deprecated:compiler/0.12 May 14, 2018
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.

2 participants