Use more optimal Ord implementation for integers#63767
Merged
bors merged 3 commits intorust-lang:masterfrom Aug 22, 2019
Merged
Use more optimal Ord implementation for integers#63767bors merged 3 commits intorust-lang:masterfrom
bors merged 3 commits intorust-lang:masterfrom