Skip to content

Make Ord and PartialOrd opt-out in newtype_index#94404

Merged
bors merged 1 commit intorust-lang:masterfrom pierwill:newtype-index-noord-2Mar 4, 2022

Commits

Commits on Mar 3, 2022