Skip to content

Conversation

webmstk
Copy link
Contributor

@webmstk webmstk commented Oct 17, 2020

No description provided.

@ryyppy
Copy link
Member

ryyppy commented Nov 3, 2020

Thanks for your quick fix. Could you also provide the same change to the v8.0.0 docs? We still need changes over both versions until we made the full switch to the ReScript syntax.

@webmstk
Copy link
Contributor Author

webmstk commented Nov 3, 2020

Sure! Thanks for you work!

@ryyppy
Copy link
Member

ryyppy commented Nov 3, 2020

Awesome! Thanks

@ryyppy ryyppy merged commit a761c88 into rescript-lang:master Nov 3, 2020
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.

2 participants