Reset submodule main/dependencies/arts to latest HEAD

7 years ago · 4fae60beaa
parent b84e46c7e7
commit 4fae60beaa
1 changed files with 1 additions and 1 deletions
--- a/main/dependencies/arts
+++ b/main/dependencies/arts
@ -1 +1 @@
-Subproject commit 1a41c9e42acb4771a5070bcaccb0db795fabc885
+Subproject commit 8a5f9a519786cbd1fbfd19ef7dab48a92c54035f