Skip to content

Rust update: {,Total}{Eq,Ord} → {Partial,}{Eq,Ord}#16

Closed
chris-morgan wants to merge 1 commit intorust-lang:masterfrom
chris-morgan:rust-update-eq-partialeq-totaleq-ord-partialord-totalord-and-that-is-all-though-in-truth-this-branch-name-could-go-on-for-quite-a-bit-longer-if-i-felt-like-making-it-so-but-fortunately-for-you-i-do-not-feel-like-that-today
Closed

Rust update: {,Total}{Eq,Ord} → {Partial,}{Eq,Ord}#16
chris-morgan wants to merge 1 commit intorust-lang:masterfrom
chris-morgan:rust-update-eq-partialeq-totaleq-ord-partialord-totalord-and-that-is-all-though-in-truth-this-branch-name-could-go-on-for-quite-a-bit-longer-if-i-felt-like-making-it-so-but-fortunately-for-you-i-do-not-feel-like-that-today

Commits

Commits on Jun 2, 2014