Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
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 google/leveldb#340
- Loading branch information