]> 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: 0c942a9) | patch
Update branch name in rocksdb-lego-determinator (#8754)
authorLevi Tamasi <ltamasi@fb.com>
Sat, 4 Sep 2021 04:12:06 +0000 (21:12 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Sat, 4 Sep 2021 04:13:39 +0000 (21:13 -0700)
commit972e3400e1f112f4fd48e6180465e2edf0747318
treeb85777503ee4b4338d009ab59e8fe1d826e85c4ctree | snapshot
parent0c942a9c0d213dba1afde77840eb92725ccfd04bcommit | diff
Update branch name in rocksdb-lego-determinator (#8754)

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

Reviewed By: jay-zhuang

Differential Revision: D30754986

Pulled By: ltamasi

fbshipit-source-id: 4c879a8deaaae07a921a35ff5ed1939d4262f982
build_tools/rocksdb-lego-determinator diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.