Reset submodule main/dependencies/arts to latest HEAD

7 years ago · bc413d10c3
parent c55a740402
commit bc413d10c3
1 changed files with 1 additions and 1 deletions
--- a/main/dependencies/arts
+++ b/main/dependencies/arts
@ -1 +1 @@
-Subproject commit 4bcfb33a3a4dccd3ee53c1d799570e0daa945342
+Subproject commit 1a41c9e42acb4771a5070bcaccb0db795fabc885