]> 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: a685a70) | patch
Update HISTORY for PR8585 (#8623)
authorYanqin Jin <yanqin@fb.com>
Thu, 5 Aug 2021 01:44:53 +0000 (18:44 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Thu, 5 Aug 2021 01:45:52 +0000 (18:45 -0700)
commitb01a428d9b3cf8f280485904d0981cc229056ee3
tree4f2bfc382995dc2cecefafc4e7b4e5d3d1a8d78etree | snapshot
parenta685a701ca97411834059e688f4fa9813ca49890commit | diff
Update HISTORY for PR8585 (#8623)

Summary:
Update HISTORY.md for PR https://github.com/facebook/rocksdb/issues/8585 .

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

Reviewed By: ltamasi

Differential Revision: D30121910

Pulled By: riversand963

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