]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #17330 : brson/rust/bot-house-cleaning, r=alexcrichton
authorbors <bors@rust-lang.org>
Thu, 18 Sep 2014 21:20:38 +0000 (21:20 +0000)
committerbors <bors@rust-lang.org>
Thu, 18 Sep 2014 21:20:38 +0000 (21:20 +0000)
Both these things were transitionary until bot upgrades.


Trivial merge