Reset submodule main/dependencies/arts to latest HEAD

12 years ago · d1ec32c1e5
parent bf8721221d
commit d1ec32c1e5
1 changed files with 1 additions and 1 deletions
--- a/main/dependencies/arts
+++ b/main/dependencies/arts
@ -1 +1 @@
-Subproject commit b67e69412a59f47e1e9b136a31c1211fa64a847a
+Subproject commit df7123d03bf2368aa31172563792877d42d8e97b