Skip to content

fix non_canonical_partial_ord_impl to ensure PartialOrd and Ord agree#569

Merged
jeremyandrews merged 1 commit intotag1consulting:mainfrom jeremyandrews:clippyNov 1, 2023
+1-10

Commits