Closed JordanMartinez closed 2 years ago
@thomashoneyman Was this repo supposed to include #183 before it got merged?
Oh! Yes, I didn’t realize it hadn’t merged. I’m not at my desk, do you mind merging that and reconciling the changelog?
Sure, but I'll need to make a 10.0.1
release.
Description of the change
Backlinking to purescript/purescript#4244. Prepares project for first release that is compatible with PureScript v0.15.0.
:ping_pong: @thomashoneyman
:robot: This is an automated pull request to prepare the next release of this library. PR was created via the Release.purs file. Some of the following steps are already done; others should be performed by a human once the pull request is merged:
pulp publish
.