Skip to content

Conversation

milesfrain
Copy link
Contributor

@milesfrain
Copy link
Contributor Author

@thomashoneyman Can we merge these PRs and friends as part of 0.14 too?
They're not breaking, so should be uncontroversial.

@JordanMartinez JordanMartinez merged commit 6aa1eac into purescript:master Dec 17, 2020
@JordanMartinez
Copy link
Contributor

Thanks @milesfrain!

@milesfrain milesfrain deleted the foldm branch December 17, 2020 02:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

4 participants