Reset submodule main/dependencies/arts to latest HEAD

11 years ago · dc7a722aaf
parent e92f824aed
commit dc7a722aaf
1 changed files with 1 additions and 1 deletions
--- a/main/dependencies/arts
+++ b/main/dependencies/arts
@ -1 +1 @@
-Subproject commit 15834635642c3a2d610b80087fd1a50f61d8bb43
+Subproject commit 09fa9bca43052417130e02f9e4dd494f4fe137d0