Reset submodule main/dependencies/arts to latest HEAD

10 years ago · 14cefed25b
parent ba70aee0e1
commit 14cefed25b
1 changed files with 1 additions and 1 deletions
--- a/main/dependencies/arts
+++ b/main/dependencies/arts
@ -1 +1 @@
-Subproject commit 62defb77c2de11b9d00d3a40f7fc1f952794f194
+Subproject commit aa7d3725f3a2d9561fcdf03f04d8332bb9722f93