Skip to content

Conversation

@cristianoc
Copy link
Contributor

Fixes #357

@jaredly
Copy link
Owner

jaredly commented Dec 12, 2019

Oh perfect!! Thanks so much for fixing this :D

@jaredly jaredly merged commit d833879 into jaredly:master Dec 12, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Jump to definition broken (tried native and bucklescript) in v1.7.2

2 participants