Merge pull request #29026 from markhpc/wip-rocksdb-v6.1.2

rocksdb: Updated to v6.1.2

Reviewed-by: Kefu Chai <kchai@redhat.com>
Reviewed-by: Neha Ojha <nojha@redhat.com>
Reviewed-by: Josh Durgin <jdurgin@redhat.com>
This commit is contained in:
Josh Durgin 2019-07-23 16:59:48 -07:00 committed by GitHub
commit a51ecb9edc
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -1 +1 @@
Subproject commit 37828c548a886dccf58a7a93fc2ce13877884c0c
Subproject commit 4c736f177851cbf9fb7a6790282306ffac5065f8