]> git-server-git.apps.pok.os.sepia.ceph.com Git - rocksdb.git/commit
projects / rocksdb.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e0ff365) | patch
Fix HISTORY.md for #8518 (#8594)
authorJay Zhuang <zjay@fb.com>
Wed, 28 Jul 2021 23:09:41 +0000 (16:09 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Wed, 28 Jul 2021 23:10:46 +0000 (16:10 -0700)
commita4b8ac9a73079cc1faa652bdc1d7d7ec87259593
tree1e83ab98d09af633e0774b3f3701fe3e1c903b31tree | snapshot
parente0ff365a76fce8d76fd13ca21f14d16fe71f19f7commit | diff
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
HISTORY.md diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.