Skip to content

Conversation

@paluh
Copy link
Contributor

@paluh paluh commented Dec 19, 2020

Description

#23

@thomashoneyman thomashoneyman added the purs-0.14 A reminder to address this issue or merge this PR before we release PureScript v0.14.0 label Dec 19, 2020
@JordanMartinez JordanMartinez merged commit 678a079 into purescript-web:master Dec 23, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

purs-0.14 A reminder to address this issue or merge this PR before we release PureScript v0.14.0

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants