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