Skip to content

Conversation

@mikesol
Copy link

@mikesol mikesol commented May 2, 2022

Description of the change

This fixes a bug where certain bundlers rename the timer functions.

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)

@thomashoneyman
Copy link
Contributor

thomashoneyman commented May 2, 2022

Mind adding this to the changelog under "Bugfixes"? I'm happy to merge from there.

@mikesol
Copy link
Author

mikesol commented May 2, 2022

Done!

@thomashoneyman thomashoneyman merged commit 356a323 into purescript-contrib:main May 2, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants