Reset submodule main/dependencies/arts to latest HEAD

9 years ago · a399542258
parent fd57dcd831
commit a399542258
1 changed files with 1 additions and 1 deletions
--- a/main/dependencies/arts
+++ b/main/dependencies/arts
@ -1 +1 @@
-Subproject commit 744752ac1502a9bf1afac1df37003d7616c86875
+Subproject commit 9600c588eed4c93aa44fad1ba1beec24abc55032