Reset submodule main/dependencies/arts to latest HEAD

5 years ago · 6fa22c646b
parent 306db53806
commit 6fa22c646b
1 changed files with 1 additions and 1 deletions
--- a/main/dependencies/arts
+++ b/main/dependencies/arts
@ -1 +1 @@
-Subproject commit cf74f54769b23dfa30648605fb3071aae5c0391b
+Subproject commit f9d72ae305c50e2414bc3721c39d2d8e2250dab4