Skip to content

Conversation

glennsl
Copy link
Contributor

@glennsl glennsl commented Jan 23, 2022

No description provided.

@rickyvetter rickyvetter added the html attribute change Bunching these together because there are larger changes that will override. Will revisit after. label Jan 23, 2022
@rickyvetter rickyvetter mentioned this pull request Jan 23, 2022
@rickyvetter rickyvetter merged commit 6156e3b into rescript-lang:master Jan 23, 2022
@rickyvetter
Copy link
Collaborator

Thanks!

@glennsl glennsl deleted the patch-1 branch January 23, 2022 17:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
html attribute change Bunching these together because there are larger changes that will override. Will revisit after.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants