git version 1.8.3.2
HEAD is now at 7ed9f5e Upgrade Android API.
7ed9f5e63e4aabb3918960eebc513765320cd595