Skip to content

Commit

Permalink
Bump RocksDB dependency to 5.18.3
Browse files Browse the repository at this point in the history
DO NOT MERGE
  • Loading branch information
marktwtn committed Jul 11, 2019
1 parent 1f01d80 commit 6947617
Show file tree
Hide file tree
Showing 3 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion Makefile
Original file line number Diff line number Diff line change
@@ -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
Expand Down
2 changes: 1 addition & 1 deletion pom.xml
Original file line number Diff line number Diff line change
Expand Up @@ -98,7 +98,7 @@
<dependency>
<groupId>org.rocksdb</groupId>
<artifactId>rocksdbjni</artifactId>
<version>5.18.1</version>
<version>5.18.3</version>
</dependency>

<dependency>
Expand Down

0 comments on commit 6947617

Please sign in to comment.