Reset submodule main/dependencies/arts to latest HEAD

8 years ago · 814b3fc12a
parent 32b9a73a4c
commit 814b3fc12a
1 changed files with 1 additions and 1 deletions
--- a/main/dependencies/arts
+++ b/main/dependencies/arts
@ -1 +1 @@
-Subproject commit 13a0d86cd3ecf5975f0dbb25fd0a5ea93d26d5b5
+Subproject commit ff915821644c3f43644a2e1005fbae7db97c3433