<div dir="ltr"><div>RocksDB level fix:<br></div><div><br></div><div><a href="https://github.com/facebook/rocksdb/commit/29f7bbef995bdf83098963799c66af742e95373f">https://github.com/facebook/rocksdb/commit/29f7bbef995bdf83098963799c66af742e95373f</a></div><div><br></div><div>The rocksdb submodule within mariadb is significantly older however - <a href="https://github.com/MariaDB/server/tree/10.3/storage/rocksdb">https://github.com/MariaDB/server/tree/10.3/storage/rocksdb</a> and I don't know the update policy on it.<br></div></div>