Details
-
Improvement
-
Status: Resolved
-
Major
-
Resolution: Fixed
-
None
-
None
Description
RocksDB 7.7.3 includes a important bug fix.
https://github.com/facebook/rocksdb/issues/9423
The minimum version includes this fix is 7.5.3,
but CI is OK with RocksDB 7.7.3.
Attachments
Issue Links
- links to