]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #8901 : adridu59/rust/issue-8511, r=huonw
authorbors <bors@rust-lang.org>
Wed, 4 Sep 2013 17:00:56 +0000 (10:00 -0700)
committerbors <bors@rust-lang.org>
Wed, 4 Sep 2013 17:00:56 +0000 (10:00 -0700)
Android has no /tmp partition, cf. #8511.


Trivial merge