Skip to content

other should be called other, not v.#29108

Merged
bors merged 1 commit intorust-lang:masterfrom
notriddle:master
Oct 21, 2015
Merged

`other` should be called `other`, not `v`.#29108
bors merged 1 commit intorust-lang:masterfrom
notriddle:master

Commits

Commits on Oct 17, 2015