]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #19348 : SimonSapin/rust/patch-9, r=huonw
authorbors <bors@rust-lang.org>
Thu, 27 Nov 2014 10:11:19 +0000 (10:11 +0000)
committerbors <bors@rust-lang.org>
Thu, 27 Nov 2014 10:11:19 +0000 (10:11 +0000)

Trivial merge