mozilla/rust — pull request #8901 by adridu59 (2013-08-31 10:45:20+00:00)
Title: libstd/os: set tmp dir to /data/tmp on Android

Android has no /tmp partition, cf. #8511.