Skip to content

Conversation

@fhammerschmidt
Copy link
Member

was deprecated in #7074, closes #5439

@fhammerschmidt fhammerschmidt force-pushed the remove-js_cast.res branch 2 times, most recently from b71514e to e8192a0 Compare October 4, 2024 12:37
@fhammerschmidt fhammerschmidt merged commit f139495 into rescript-lang:master Oct 4, 2024
20 checks passed
@fhammerschmidt fhammerschmidt deleted the remove-js_cast.res branch October 4, 2024 13:10
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.

Deprecate js_cast.ml?

2 participants