Skip to content

Remove Ordering from the prelude. - #497

Closed
steveklabnik wants to merge 1 commit into
rust-lang:masterfrom
steveklabnik:remove_ordering_from_the_prelude
Closed

steveklabnik wants to merge 1 commit into
rust-lang:masterfrom
steveklabnik:remove_ordering_from_the_prelude

Remove Ordering from the prelude.

f133ecc
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs