rocksdb: Cherry-pick DeleteRange fixes from up to rockcsdb 6.12 (#528)

update rocksdb to include tikv/rocksdb#185 for master Signed-off-by: ti-srebot <ti-srebot@pingcap.com>

rocksdb: Cherry-pick DeleteRange fixes from up to rockcsdb 6.12 (#528)
update rocksdb to include tikv/rocksdb#185 for master Signed-off-by: ti-srebot <ti-srebot@pingcap.com>
dba76571 · ti-srebot · GitHub · bc0ec6e8 · 1a540da0
Unverified Commit dba76571 authored Aug 11, 2020 by ti-srebot Committed by GitHub Aug 11, 2020
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

rocksdb librocksdb_sys/rocksdb +1 -1

No files found.
--- a/rocksdb @ 1a540da0
+++ b/rocksdb @ 1a540da0
-Subproject commit b4a9c1080dd640e601c73da8c93faed6fe842a67
+Subproject commit 1a540da001187d56c8afb25e53aa52aec2a16173