Reset submodule main/dependencies/arts to latest HEAD

12 years ago · 72731da4fa
parent e67095e4e8
commit 72731da4fa
1 changed files with 1 additions and 1 deletions
--- a/main/dependencies/arts
+++ b/main/dependencies/arts
@ -1 +1 @@
-Subproject commit cbb3efa3c8bfa0f081760241629a61296acfa5be
+Subproject commit 7bfbe2dd1da9133259b21b8a7b1a187e40ed5e1d