Skip to content

Conversation

@JordanMartinez
Copy link
Contributor

Undoes a temporary fix made in #788, so that other changes could get in.

Undoes a temporary fix made in a previous PR, so that other changes 
could get in.
@f-f
Copy link
Member

f-f commented Jan 12, 2021

@JordanMartinez this one should be merged, right? 😄

@JordanMartinez
Copy link
Contributor Author

Oh yeah. I forgot about this PR.

@JordanMartinez JordanMartinez merged commit 349781f into purescript:prepare-0.14 Jan 12, 2021
@JordanMartinez JordanMartinez deleted the addParsingArgonautGeneric branch January 12, 2021 20:56
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