ticket40487 171 B

123
  1. o Minor features (portability, android):
  2. - Use /data/local/tmp for data storage on Android by default. Closes ticket
  3. 40487. Patch from Hans-Christoph Steiner.