]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #9900 : hatahet/rust/master, r=alexcrichton
authorbors <bors@rust-lang.org>
Thu, 17 Oct 2013 09:46:24 +0000 (02:46 -0700)
committerbors <bors@rust-lang.org>
Thu, 17 Oct 2013 09:46:24 +0000 (02:46 -0700)
Closes #9870


Trivial merge