Remove Ordering from the prelude. - #497

Remove Ordering from the prelude.#497

steveklabnik wants to merge 1 commit into

rust-lang:masterrust-lang/rfcs:masterfrom

steveklabnik:remove_ordering_from_the_preludesteveklabnik/rfcs:remove_ordering_from_the_preludeCopy head branch name to clipboard