Bump rocksdb to 0.18.0

This commit is contained in:
Hans Svensson
2018-05-24 15:05:40 +02:00
parent 618870f484
commit a6925ffdc1
2 changed files with 3 additions and 3 deletions
+1 -1
View File
@@ -2,7 +2,7 @@
{deps,
[
{sext, "1.4.1"},
{rocksdb,"0.14.0"}
{rocksdb,"0.18.0"}
]}.
{profiles,