RocksDB level fix: https://github.com/facebook/rocksdb/commit/29f7bbef995bdf83098963799c66af742e95373f
The rocksdb submodule within mariadb is significantly older however - https://github.com/MariaDB/server/tree/10.3/storage/rocksdb and I don't know the update policy on it.
