From 404f11613e51d8be4bed326d8f3a613a1b6a3d01 Mon Sep 17 00:00:00 2001 From: Automated System Date: Wed, 29 Jul 2020 17:10:24 +0000 Subject: [PATCH] Reset submodule main/dependencies/arts to latest HEAD --- main/dependencies/arts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/main/dependencies/arts b/main/dependencies/arts index d6b34670a..6b23f6c7c 160000 --- a/main/dependencies/arts +++ b/main/dependencies/arts @@ -1 +1 @@ -Subproject commit d6b34670a68f96801088724c27c50cff427eb2d2 +Subproject commit 6b23f6c7c932f5d4487c46b43211b561e80ab9f4