Prevent exhaustive matching of Ordering to allow for future extension#37351

Merged

bors merged 1 commit intorust-lang:masterfrom Amanieu:consume

Nov 3, 2016

+18

Commits on Oct 23, 2016

Prevent exhaustive matching of Ordering to allow for future extension
Amanieu
committed