Reset submodule main/dependencies/arts to latest HEAD

12 years ago · 1df6bf7b1a
parent 75d5686053
commit 1df6bf7b1a
1 changed files with 1 additions and 1 deletions
--- a/main/dependencies/arts
+++ b/main/dependencies/arts
@ -1 +1 @@
-Subproject commit 302480ca145234e0b0740773f11a357652588509
+Subproject commit cbb3efa3c8bfa0f081760241629a61296acfa5be