From a5a170f3a9a8a1c76373c84e95a6b241a7f236da Mon Sep 17 00:00:00 2001 From: Kefu Chai Date: Fri, 25 May 2018 13:09:34 +0800 Subject: [PATCH] rocksdb: sync with upstream since https://github.com/facebook/rocksdb/pull/3862 has been merged by upstream. Fixes: http://tracker.ceph.com/issues/23653 Signed-off-by: Kefu Chai --- src/rocksdb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/rocksdb b/src/rocksdb index f4a857da0b7..bc7e8d472e7 160000 --- a/src/rocksdb +++ b/src/rocksdb @@ -1 +1 @@ -Subproject commit f4a857da0b720691effc524469f6db895ad00d8e +Subproject commit bc7e8d472e7d37a33f3f45dec393769011ec1e08 -- 2.47.3