]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #18145 : neilpa/rust/master, r=steveklabnik
authorbors <bors@rust-lang.org>
Mon, 20 Oct 2014 20:27:32 +0000 (20:27 +0000)
committerbors <bors@rust-lang.org>
Mon, 20 Oct 2014 20:27:32 +0000 (20:27 +0000)
Noticed a type while reading through the intro


Trivial merge