Skip to content

Remove some unused Ord derives based on Span#93018

Merged
bors merged 1 commit intorust-lang:masterfrom
pierwill:rm-unused-ord
Jan 19, 2022
Merged

Remove some unused `Ord` derives based on `Span`#93018
bors merged 1 commit intorust-lang:masterfrom
pierwill:rm-unused-ord

Commits

Commits on Jan 17, 2022