Reset submodule main/dependencies/arts to latest HEAD

8 years ago · 99d2e90de5
parent 0333340407
commit 99d2e90de5
1 changed files with 1 additions and 1 deletions
--- a/main/dependencies/arts
+++ b/main/dependencies/arts
@ -1 +1 @@
-Subproject commit 357b4594068d36193b0fd99d1d77bb01c9db623d
+Subproject commit 117ec1e9d46baf07823a7a5719101e25e4b29e2d