Closed MichaelGrupp closed 11 months ago
Fixes a bug introduced recently in PR #569 and switches all enums to @unique to catch this in the future.
@unique
Fixes: #579
Fixes a bug introduced recently in PR #569 and switches all enums to
@unique
to catch this in the future.Fixes: #579