f45c0d20de
Summary: Fixes: #4401 Pull Request resolved: https://github.com/facebook/rocksdb/pull/4444 Differential Revision: D10282120 Pulled By: sagar0 fbshipit-source-id: d9ddcc1b132208ae7f806fa2106add6fec1baa11