f9813b853d
Summary:
Adding API missing after 1ffbdfd9a7 (diff-b94146418eed4a9c1bf324041b95b279)
.
adamretter IslamAbdelRahman
Tested locally.
Closes https://github.com/facebook/rocksdb/pull/2028
Differential Revision: D4762817
Pulled By: IslamAbdelRahman
fbshipit-source-id: 833f478