Switch to directories 10 (#834)

2018-04-04 22:01:19 +02:00 · 2018-04-04 22:01:19 +02:00 · 595f7d7d48
parent e4361d6fde
commit 595f7d7d48
2 changed files with 2 additions and 2 deletions
--- a/3rdparty/jvm/BUILD
+++ b/3rdparty/jvm/BUILD
@ -138,7 +138,7 @@ jar_library(
        jar(
            org = "io.github.soc",
            name = "directories",
-            rev = "6",
+            rev = "10",
        ),
    ],
 )
--- a/2
+++ b/2
@ -1 +1 @@
-Subproject commit 4305e70a93ab9acc6256b10f7f3087e9902d671f
+Subproject commit d302b1e93963c81ed511e072a52e95251b5d078b