Reset submodule main/dependencies/arts to latest HEAD

5 years ago · 5ced70f24a
parent 6fa22c646b
commit 5ced70f24a
1 changed files with 1 additions and 1 deletions
--- a/main/dependencies/arts
+++ b/main/dependencies/arts
@ -1 +1 @@
-Subproject commit f9d72ae305c50e2414bc3721c39d2d8e2250dab4
+Subproject commit 8a30d26ad48c3cad6800c365c6d27ae2d676294c