Reset submodule main/dependencies/arts to latest HEAD

5 years ago · b2ad03ec53
parent 59d6df8b92
commit b2ad03ec53
1 changed files with 1 additions and 1 deletions
--- a/main/dependencies/arts
+++ b/main/dependencies/arts
@ -1 +1 @@
-Subproject commit 405df7bf908beb8471df764bc00b3f823b6a729d
+Subproject commit ef3cfbd6d1baa7d4774497552df9bb57b1290500