est31 a26970cdd4 Android: hardcode leveldb revision ... Newest leveldb commit breaks build. With no fix in sight, there is no other way than to fall back to the last working leveldb revision, and hardcode it. Workaround for upstream bug https://github.com/google/leveldb/issues/340		2016-02-22 17:46:16 +01:00
..
android	Android: hardcode leveldb revision	2016-02-22 17:46:16 +01:00