Skip to content

@unique was messing with type hints, also not really needed#191

Merged
charlta merged 1 commit intomainfrom
remove-unique-in-enums
Jul 31, 2025
Merged

@unique was messing with type hints, also not really needed#191
charlta merged 1 commit intomainfrom
remove-unique-in-enums

Conversation

@chestm007
Copy link
Copy Markdown
Contributor

@chestm007 chestm007 commented Jul 31, 2025

Does what it says on the box

Signed-off-by: Max Chesterfield <max.chesterfield@zepben.com>
@chestm007 chestm007 requested a review from charlta July 31, 2025 05:21
@charlta charlta merged commit 04e8466 into main Jul 31, 2025
4 checks passed
@charlta charlta deleted the remove-unique-in-enums branch July 31, 2025 07:32
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.

2 participants