Skip to content

Remove unused PartialOrd/Ord from bootstrap#145560

Merged
bors merged 1 commit intorust-lang:masterfrom
Kobzol:bootstrap-remove-ord
Aug 20, 2025
Merged

Remove unused `PartialOrd`/`Ord` from bootstrap#145560
bors merged 1 commit intorust-lang:masterfrom
Kobzol:bootstrap-remove-ord

Commits

Commits on Aug 18, 2025