Fix HISTORY.md for #8518 (#8594)

Summary:
PR https://github.com/facebook/rocksdb/issues/8518 merge the change to wrong section.

Pull Request resolved: https://github.com/facebook/rocksdb/pull/8594

Reviewed By: riversand963

Differential Revision: D29974565

Pulled By: jay-zhuang

fbshipit-source-id: 51c930d93fbdb406fe31ff73c96548a6f88b9965
main
Jay Zhuang 4 years ago committed by Facebook GitHub Bot
parent e0ff365a76
commit a4b8ac9a73
Loading…
Cancel
Save