Skip to content

Conversation

cometkim
Copy link
Member

@cometkim cometkim commented Apr 5, 2025

No description provided.

@cometkim cometkim requested review from cknitt and cristianoc April 5, 2025 18:56
@cometkim cometkim enabled auto-merge (squash) April 10, 2025 19:14
@cometkim cometkim mentioned this pull request Apr 10, 2025
Copy link
Member

@cknitt cknitt left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice cleanup! Thanks a lot!

@cometkim cometkim merged commit e950b11 into rescript-lang:master Apr 12, 2025
20 checks passed
@cometkim cometkim deleted the unused-ext branch April 12, 2025 14:11
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