Skip to content

Conversation

@jchavarri
Copy link
Contributor

Fixes #2673.

@bobzhang I'm not sure how to update the docs. happy to do it if you point me in the right direction, unless that's done only before any release?

@bobzhang
Copy link
Member

@jchavarri it should be make docs suppose if you have the right opam switch

@bobzhang bobzhang merged commit 8489465 into rescript-lang:master Apr 10, 2018
@ncthbrt
Copy link

ncthbrt commented Apr 10, 2018

Thanks @jchavarri, @bobzhang

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.

3 participants