Diff leveldb-1.20 with a leveldb-1.23-r5

Thank you!