Skip to content

Conversation

@JordanMartinez
Copy link
Contributor

Description of the change

Resolves #171 (comment) Since this is another part of #171, I don't think this needs a changelog entry.

CC @thomashoneyman


Checklist:

  • Added the change to the changelog's "Unreleased" section with a link to this PR and your username
  • Linked any existing issues or proposals that this pull request should close
  • Updated or added relevant documentation in the README and/or documentation directory
  • Added a test for the contribution (if applicable)

@JordanMartinez JordanMartinez added purs-0.15 A reminder to address this issue or merge this PR before we release PureScript v0.15.0 type: housekeeping Repo-related things (e.g. fixing CI) that need to be done. labels Apr 21, 2022
@JordanMartinez
Copy link
Contributor Author

🏓 @thomashoneyman Looks like this hasn't been approved yet.

@thomashoneyman thomashoneyman merged commit 4f7b83d into purescript-contrib:main Apr 27, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

purs-0.15 A reminder to address this issue or merge this PR before we release PureScript v0.15.0 type: housekeeping Repo-related things (e.g. fixing CI) that need to be done.

Development

Successfully merging this pull request may close these issues.

2 participants