Reset submodule main/dependencies/arts to latest HEAD

12 years ago · f27a1021d1
parent 3a0f4e2ef9
commit f27a1021d1
1 changed files with 1 additions and 1 deletions
--- a/main/dependencies/arts
+++ b/main/dependencies/arts
@ -1 +1 @@
-Subproject commit 0b9bcf1fcdeab139c12543a6534e68cf2257e0d9
+Subproject commit e23beb31cf9e0e78cc79daeb899202230e1987f3