Reset submodule main/dependencies/arts to latest HEAD

11 years ago · 4fa18e8dc6
parent eba137ade8
commit 4fa18e8dc6
1 changed files with 1 additions and 1 deletions
--- a/main/dependencies/arts
+++ b/main/dependencies/arts
@ -1 +1 @@
-Subproject commit 945f908df83a6880c102ddb17d33c759efee1967
+Subproject commit 0b9bcf1fcdeab139c12543a6534e68cf2257e0d9