]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #12183 : SimonSapin/rust/patch-4, r=alexcrichton
authorbors <bors@rust-lang.org>
Tue, 11 Feb 2014 21:51:41 +0000 (13:51 -0800)
committerbors <bors@rust-lang.org>
Tue, 11 Feb 2014 21:51:41 +0000 (13:51 -0800)

Trivial merge