Skip to content

[fix] Apply post-processing to find duplicated type members#138

Merged
slarse merged 6 commits intomasterfrom
issue/136-fix-duplicated-type-members
May 27, 2020
Merged

[fix] Apply post-processing to find duplicated type members#138
slarse merged 6 commits intomasterfrom
issue/136-fix-duplicated-type-members

Conversation

@slarse
Copy link
Copy Markdown
Collaborator

@slarse slarse commented May 27, 2020

Fix #136

@slarse slarse merged commit ba51013 into master May 27, 2020
@slarse slarse deleted the issue/136-fix-duplicated-type-members branch February 18, 2021 16:46
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.

Type members can be duplicated if left and right add non-identical members

1 participant