Skip to content

Fix type rename#75

Merged
muit merged 2 commits intomainfrom
feature/ensure-unique-type-names
Aug 24, 2022
Merged

Fix type rename#75
muit merged 2 commits intomainfrom
feature/ensure-unique-type-names

Conversation

@muit
Copy link
Copy Markdown
Member

@muit muit commented Aug 23, 2022

No description provided.

@muit muit merged commit 9b4b635 into main Aug 24, 2022
@muit muit changed the title Ensure unique type names Fix type rename Aug 24, 2022
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