]> git.apps.os.sepia.ceph.com Git - ceph.git/commitdiff
Merge pull request #22236 from tchaikov/wip-rocksdb
authorKefu Chai <tchaikov@gmail.com>
Fri, 25 May 2018 16:38:51 +0000 (00:38 +0800)
committerGitHub <noreply@github.com>
Fri, 25 May 2018 16:38:51 +0000 (00:38 +0800)
rocksdb: sync with upstream

Reviewed-by: Josh Durgin <jdurgin@redhat.com>

Trivial merge