Reset submodule main/dependencies/arts to latest HEAD

12 years ago · 87cd6c9299
parent de3145b4cc
commit 87cd6c9299
1 changed files with 1 additions and 1 deletions
--- a/main/dependencies/arts
+++ b/main/dependencies/arts
@ -1 +1 @@
-Subproject commit c1099f3c6e3719f3c4c5ae35ad56bdb57eff63c4
+Subproject commit cc25a2a58e1ca1d4e3a3205cc89d055c950bc76f