Reset submodule main/dependencies/arts to latest HEAD

12 years ago · 5fac763f6a
parent de6f89ebde
commit 5fac763f6a
1 changed files with 1 additions and 1 deletions
--- a/main/dependencies/arts
+++ b/main/dependencies/arts
@ -1 +1 @@
-Subproject commit 6ef8c841ebd4899b047e43bd180197bf548dcdb5
+Subproject commit f9e71d2a81e9aff6f02602ca5650216be3ec29d3