Skip to content

Conversation

bobzhang
Copy link
Member

@bobzhang bobzhang commented Feb 8, 2021

BuckleScript -> ReScript

@bobzhang bobzhang changed the title update binaries tweak wording Feb 8, 2021
@bobzhang bobzhang merged commit 5b1c2e0 into master Feb 8, 2021
@cristianoc cristianoc deleted the tweak branch June 18, 2022 02:32
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.

1 participant