Skip to content

Remove PartialOrd/Ord impl for PlaceRef#96889

Merged
bors merged 1 commit intorust-lang:masterfrom
Aaron1011:place-ref-remove
May 12, 2022
Merged

Remove `PartialOrd`/`Ord` impl for `PlaceRef`#96889
bors merged 1 commit intorust-lang:masterfrom
Aaron1011:place-ref-remove

Commits

Commits on May 11, 2022