Skip to content

Remove strange formatting in Ordering docs.#59831

Merged
bors merged 1 commit intorust-lang:masterfrom
ehuss:ordering-docs
Apr 12, 2019

Commits

Commits on Apr 9, 2019