The source project of this merge request has been removed.
RocksDB 5.13.1
@benoitc looks like there is mostly fixes, so no new features/options added to driver
@benoitc looks like there is mostly fixes, so no new features/options added to driver