]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #14514 : Randati/rust/patch-1, r=huonw
authorbors <bors@rust-lang.org>
Fri, 30 May 2014 07:31:44 +0000 (00:31 -0700)
committerbors <bors@rust-lang.org>
Fri, 30 May 2014 07:31:44 +0000 (00:31 -0700)

Trivial merge