Skip to content

Conversation

@cknitt
Copy link
Member

@cknitt cknitt commented Jan 5, 2023

Fixes #5927 for the 10.1_release branch.

@cknitt cknitt requested a review from cristianoc January 5, 2023 18:57
@cknitt cknitt merged commit 5be29e7 into rescript-lang:10.1_release Jan 5, 2023
@cknitt cknitt deleted the fix-jsx-mode-ignored branch January 7, 2023 14:29
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