From 595f7d7d48c0c38bded88531d1fe1cdeb3ccc07c Mon Sep 17 00:00:00 2001
From: Alexandre Archambault <alexarchambault@users.noreply.github.com>
Date: Wed, 4 Apr 2018 22:01:19 +0200
Subject: [PATCH] Switch to directories 10 (#834)

---
 3rdparty/jvm/BUILD | 2 +-
 directories        | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/3rdparty/jvm/BUILD b/3rdparty/jvm/BUILD
index 5eb9340b7..109752b04 100644
--- 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",
         ),
     ],
 )
diff --git a/directories b/directories
index 4305e70a9..d302b1e93 160000
--- a/directories
+++ b/directories
@@ -1 +1 @@
-Subproject commit 4305e70a93ab9acc6256b10f7f3087e9902d671f
+Subproject commit d302b1e93963c81ed511e072a52e95251b5d078b