From 50a274afb5fe56449ba7cf27bf8536b67265a7d7 Mon Sep 17 00:00:00 2001 From: marktwtn Date: Mon, 17 Jun 2019 10:44:49 +0800 Subject: [PATCH] Bump RocksDB dependency to 5.18.3 DO NOT MERGE --- Makefile | 2 +- pom.xml | 2 +- rocksdb | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index 63fea95014..d270080ed1 100644 --- a/Makefile +++ b/Makefile @@ -1,5 +1,5 @@ # Variables -ROCKSDB_VERSION=5.18.1 +ROCKSDB_VERSION=5.18.3 DCURL_VERSION=0.4.0 .PHONY: all dcurl rocksdb iri check diff --git a/pom.xml b/pom.xml index 38f3eb6f04..317d124022 100644 --- a/pom.xml +++ b/pom.xml @@ -97,7 +97,7 @@ org.rocksdb rocksdbjni - 5.18.1 + 5.18.3 diff --git a/rocksdb b/rocksdb index 9ae0528dc4..641fae60f6 160000 --- a/rocksdb +++ b/rocksdb @@ -1 +1 @@ -Subproject commit 9ae0528dc481add34ce6f4a072e51b827710bde2 +Subproject commit 641fae60f63619ed5d0c9d9e4c4ea5a0ffa3e253