Skip to content

Remove rescript core#96

Merged
DZakh merged 1 commit into
mainfrom
dz/remove-rescript-core
Jul 30, 2024
Merged

Remove rescript core#96
DZakh merged 1 commit into
mainfrom
dz/remove-rescript-core

Conversation

@DZakh

@DZakh DZakh commented Jul 30, 2024

Copy link
Copy Markdown
Member

No description provided.

@DZakh DZakh requested a review from JonoPrest July 30, 2024 14:07

@JonoPrest JonoPrest left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

Awesome! Thanks Dmitry

@DZakh DZakh merged commit 0ae7fb0 into main Jul 30, 2024
@DZakh DZakh deleted the dz/remove-rescript-core branch July 30, 2024 14:49
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