Reset submodule main/dependencies/arts to latest HEAD

5 years ago · 14bad80c94
parent dbaafc6b6a
commit 14bad80c94
1 changed files with 1 additions and 1 deletions
--- a/main/dependencies/arts
+++ b/main/dependencies/arts
@ -1 +1 @@
-Subproject commit a95f91bd535f2805d651dae35bd3757ca403b2d9
+Subproject commit ef4a1c768f727d55161c577050d6ac6ffa499cab