Skip to content

Bug fix of parser::subtype_constraint_body#205

Merged
termoshtt merged 2 commits intomasterfrom
subtype-constraint-parser-bug
Mar 16, 2022
Merged

Bug fix of parser::subtype_constraint_body#205
termoshtt merged 2 commits intomasterfrom
subtype-constraint-parser-bug

Conversation

@termoshtt
Copy link
Contributor

Split from #203

@termoshtt termoshtt self-assigned this Mar 16, 2022
@termoshtt termoshtt merged commit c4b7226 into master Mar 16, 2022
@termoshtt termoshtt deleted the subtype-constraint-parser-bug branch March 16, 2022 06:21
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.

1 participant