Reset submodule main/dependencies/arts to latest HEAD

12 years ago · b0e17d20d7
parent c35d886953
commit b0e17d20d7
1 changed files with 1 additions and 1 deletions
--- a/main/dependencies/arts
+++ b/main/dependencies/arts
@ -1 +1 @@
-Subproject commit df7123d03bf2368aa31172563792877d42d8e97b
+Subproject commit 928525a272e255ccfb31517b799f61a68a2392a3