Reset submodule main/dependencies/arts to latest HEAD

6 years ago · 5851de2855
parent 6fb554d4ed
commit 5851de2855
1 changed files with 1 additions and 1 deletions
--- a/main/dependencies/arts
+++ b/main/dependencies/arts
@ -1 +1 @@
-Subproject commit 5d9981995e34d44da2a1b236de4a7594fbe183a8
+Subproject commit c1b7409de9bfd0c63c662b38b007d99dbb442d38