Reset submodule main/dependencies/arts to latest HEAD

12 months ago · 25ce31ca86
parent 46f2d0e23d
commit 25ce31ca86
1 changed files with 1 additions and 1 deletions
--- a/main/dependencies/arts
+++ b/main/dependencies/arts
@ -1 +1 @@
-Subproject commit daf5e78d69117534c9aa08cc3249b7aabf3b87b6
+Subproject commit 85fd1ac18195cd35506117940c1d172bed218ecb