Skip to content

Conversation

chenglou
Copy link
Member

We don't use it right now

We don't use it right now
@bobzhang bobzhang merged commit 45d9bf3 into rescript-lang:master Jul 26, 2020
@chenglou chenglou deleted the rma branch July 26, 2020 01:21
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