Reset submodule main/dependencies/arts to latest HEAD

4 years ago · 86ca42fb64
parent a697c32eab
commit 86ca42fb64
1 changed files with 1 additions and 1 deletions
--- a/main/dependencies/arts
+++ b/main/dependencies/arts
@ -1 +1 @@
-Subproject commit 3a86276a62c2b3fac793026dce37206c13d9bfb3
+Subproject commit 6013eace94cd5f9f75ad4bb63f1ce60a8fdc62da