]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #12256 : brson/rust/android, r=alexcrichton
authorbors <bors@rust-lang.org>
Fri, 14 Feb 2014 05:51:52 +0000 (21:51 -0800)
committerbors <bors@rust-lang.org>
Fri, 14 Feb 2014 05:51:52 +0000 (21:51 -0800)
Android bot has been having some problems. A few details in the commits.


Trivial merge