967a6d3768
* commit 'ef8eb55708f67fc2977a155dddb1b3f1f732b3fe': Upgrade to tzcode2013f plus Android modifications (from tzcode2013d plus Android modifications).