Reset submodule main/dependencies/arts to latest HEAD

11 months ago · 020f5e1c7c
parent e692d3a23d
commit 020f5e1c7c
1 changed files with 1 additions and 1 deletions
--- a/main/dependencies/arts
+++ b/main/dependencies/arts
@ -1 +1 @@
-Subproject commit c048d067419033f7eeead22dfbd414de8acb3f9e
+Subproject commit 7f2d44af9686e238696b0fb281279961f4374b71