]> 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: a00cffa) | patch
Add bug fix to HISTORY.md (#10091)
authorChangyu Bi <changyubi@fb.com>
Wed, 1 Jun 2022 21:07:13 +0000 (14:07 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Wed, 1 Jun 2022 21:07:13 +0000 (14:07 -0700)
commit463873f1bbc8e697e44488a3d1c700aa307f737c
treeec94b497878a2d9a8fb43e330dcec7a1b988bd2ctree | snapshot
parenta00cffaf6921fa1ff7193a3d060b42025d80a474commit | diff
Add bug fix to HISTORY.md (#10091)

Summary:
Add to HISTORY.md the bug fixed in https://github.com/facebook/rocksdb/issues/10051

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

Reviewed By: ajkr

Differential Revision: D36821861

Pulled By: cbi42

fbshipit-source-id: 598812fab88f65c0147ece53cff55cf4ea73aac6
HISTORY.md diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.