Reset submodule main/dependencies/arts to latest HEAD

12 years ago · 17afdc97b5
parent 888265211f
commit 17afdc97b5
1 changed files with 1 additions and 1 deletions
--- a/main/dependencies/arts
+++ b/main/dependencies/arts
@ -1 +1 @@
-Subproject commit 169064000d2883826d19b1a0eeed1d64fd51e540
+Subproject commit d0a9b7f7280e4c39fb51e53522a808f14fb9bdf6