Reset submodule main/dependencies/arts to latest HEAD

5 months ago · d72ae50e65
parent 9f93105678
commit d72ae50e65
1 changed files with 1 additions and 1 deletions
--- a/main/dependencies/arts
+++ b/main/dependencies/arts
@ -1 +1 @@
-Subproject commit 6a380400d09ee49eb0f5d142a6e1e816ed2615a2
+Subproject commit 0c717ee493b802d94756b6c5f538cd686943b941