Skip to content

Revert "Duplicate name handling"#27

Merged
faithokamoto merged 1 commit into
masterfrom
revert-26-dup-names
Jun 30, 2026
Merged

Revert "Duplicate name handling"#27
faithokamoto merged 1 commit into
masterfrom
revert-26-dup-names

Conversation

@faithokamoto

Copy link
Copy Markdown

Reverts #26

Um, I think that merging into master is the wrong thing here. Sadly.

@faithokamoto faithokamoto merged commit 162e95f into master Jun 30, 2026
0 of 2 checks passed
@faithokamoto faithokamoto deleted the revert-26-dup-names branch June 30, 2026 16:09
@adamnovak adamnovak mentioned this pull request Jun 30, 2026
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