Skip to content

Remove PartialOrd, Ord from DefId#90749

Closed
pierwill wants to merge 5 commits intorust-lang:masterfrom
pierwill:untrack-defid-90317
Closed

Remove `PartialOrd`, `Ord` from `DefId`#90749
pierwill wants to merge 5 commits intorust-lang:masterfrom
pierwill:untrack-defid-90317

Commits

Commits on Jan 18, 2022