mirror of
https://github.com/facebook/rocksdb.git
synced 2026-10-23 08:09:02 +03:00
Summary: fixes issue https://github.com/facebook/rocksdb/issues/13166. Pull Request resolved: https://github.com/facebook/rocksdb/pull/13171 Test Plan: the same command in https://github.com/facebook/rocksdb/issues/13166 doesn't reproduce for me. Reviewed By: ltamasi Differential Revision: D66621871 Pulled By: cbi42 fbshipit-source-id: 08820a22071091606b437181e2b5e9343202d637