]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #12267 : alexcrichton/rust/rollup, r=alexcrichton
authorbors <bors@rust-lang.org>
Fri, 14 Feb 2014 20:21:51 +0000 (12:21 -0800)
committerbors <bors@rust-lang.org>
Fri, 14 Feb 2014 20:21:51 +0000 (12:21 -0800)
The last commit has the closed PRs


Trivial merge