Reset submodule main/dependencies/arts to latest HEAD

11 years ago · 611f1d5311
parent 12e1ea9ba0
commit 611f1d5311
1 changed files with 1 additions and 1 deletions
--- a/main/dependencies/arts
+++ b/main/dependencies/arts
@ -1 +1 @@
-Subproject commit 284b82a9afeffec61db83f51ef04e3a600cd9a90
+Subproject commit f22daba70bfea7dbe9c73c330a508f417eead512