Skip to content

Cleanup the definition of group_type#144786

Merged
bors merged 1 commit intorust-lang:masterfrom
JonathanBrouwer:cleanup-group-type
Aug 3, 2025
Merged

Cleanup the definition of `group_type`#144786
bors merged 1 commit intorust-lang:masterfrom
JonathanBrouwer:cleanup-group-type

Commits

Commits on Aug 1, 2025