Reset submodule main/dependencies/arts to latest HEAD

11 years ago · 721486d5b6
parent a2321c3193
commit 721486d5b6
1 changed files with 1 additions and 1 deletions
--- a/main/dependencies/arts
+++ b/main/dependencies/arts
@ -1 +1 @@
-Subproject commit 9ff109af6c6dda443447e185ed42d5adf8aff988
+Subproject commit 85a8c7adea70c7e37c73d62eb3fc33a60e1e2c69