mirror of
https://github.com/facebook/rocksdb.git
synced 2026-10-23 08:09:02 +03:00
Summary:
A small regression that conflicted with PR https://github.com/facebook/rocksdb/pull/12133 was later merged in commit 2296c624fa (diff-26d3ab8a3d764183d0ea3aea834fe481eec2347c334b918ebd7bdce4bcabcc19R35)
This PR addresses that regression. Closes https://github.com/facebook/rocksdb/issues/12132
Pull Request resolved: https://github.com/facebook/rocksdb/pull/12133
Reviewed By: jowlyzhang
Differential Revision: D52041736
Pulled By: ltamasi
fbshipit-source-id: 33db57035154c833ae00b5d921b17b3be80c8dd7