Reset submodule main/dependencies/arts to latest HEAD

4 years ago · b9cf2a1eee
parent c5c318efd8
commit b9cf2a1eee
1 changed files with 1 additions and 1 deletions
--- a/main/dependencies/arts
+++ b/main/dependencies/arts
@ -1 +1 @@
-Subproject commit 831b51f61d9562442a11e1cf898c23b4bd8a2ca5
+Subproject commit 8088cafb8b7b7ac1d987033d0cd9f72c99a248a2