]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #5367 : brson/rust/5299, r=thestinger
authorbors <bors@rust-lang.org>
Fri, 15 Mar 2013 00:51:47 +0000 (17:51 -0700)
committerbors <bors@rust-lang.org>
Fri, 15 Mar 2013 00:51:47 +0000 (17:51 -0700)
r?


Trivial merge