RocksDB version 5.12.2
This tag has no release notes.