Reset submodule main/dependencies/arts to latest HEAD

5 years ago · 42ea34b13a
parent cd8d2cc0af
commit 42ea34b13a
1 changed files with 1 additions and 1 deletions
--- a/main/dependencies/arts
+++ b/main/dependencies/arts
@ -1 +1 @@
-Subproject commit 9035d57d6ef2c7f2e058f7e7973c069216c4d963
+Subproject commit 9e01acbc0e8de207a85afac515ee73d038b7c089