Skip to content

Some trait cleanup for S118 Integer broom#1782

Merged
felixpernegger merged 1 commit into
mainfrom
s118-cleanup
May 21, 2026
Merged

Some trait cleanup for S118 Integer broom#1782
felixpernegger merged 1 commit into
mainfrom
s118-cleanup

Conversation

@prabau
Copy link
Copy Markdown
Collaborator

@prabau prabau commented May 20, 2026

Remove some redundant traits for S118 (Integer broom).

@felixpernegger felixpernegger merged commit c49e9f1 into main May 21, 2026
1 check passed
@felixpernegger felixpernegger deleted the s118-cleanup branch May 21, 2026 04:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants