Reset submodule main/dependencies/arts to latest HEAD

5 years ago · f975749fde
parent cda0fa9720
commit f975749fde
1 changed files with 1 additions and 1 deletions
--- a/main/dependencies/arts
+++ b/main/dependencies/arts
@ -1 +1 @@
-Subproject commit 8da7963839ad312544f1f1678ffdfd1d40edaace
+Subproject commit 5d5d13b2e415bd38553fa984bf6ffc3cd4083fa7