Skip to content

Edit docs on consistency of PartialOrd and PartialEq#94620

Merged
bors merged 1 commit intorust-lang:masterfrom
pierwill:partialord-constistency
Mar 5, 2022

Commits

Commits on Mar 4, 2022