Skip to content
This repository has been archived by the owner on Jun 15, 2023. It is now read-only.

fix: ignore * #477

Merged
merged 1 commit into from
Mar 22, 2022
Merged

fix: ignore * #477

merged 1 commit into from
Mar 22, 2022

Conversation

a-c-sreedhar-reddy
Copy link
Contributor

@a-c-sreedhar-reddy a-c-sreedhar-reddy commented Jan 21, 2022 •
edited
Loading

fixes
#475
#467

IwanKaramazow
IwanKaramazow approved these changes Mar 22, 2022
View reviewed changes
Copy link
Contributor

@IwanKaramazow IwanKaramazow left a comment

Choose a reason for hiding this comment

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

Thanks!

@IwanKaramazow IwanKaramazow merged commit 02498a4 into rescript-lang:master Mar 22, 2022
@cristianoc cristianoc mentioned this pull request Sep 20, 2022
Closed
29 tasks
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@IwanKaramazow IwanKaramazow IwanKaramazow approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@a-c-sreedhar-reddy @IwanKaramazow