]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #14546 : SimonSapin/rust/patch-13, r=alexcrichton
authorbors <bors@rust-lang.org>
Fri, 30 May 2014 21:21:37 +0000 (14:21 -0700)
committerbors <bors@rust-lang.org>
Fri, 30 May 2014 21:21:37 +0000 (14:21 -0700)
CC @alexcrichton
Closes #14545


Trivial merge