From f0038cbf8a9fc7575b0e51015778a6e5f378b8cb Mon Sep 17 00:00:00 2001 From: Automated System Date: Sun, 20 Sep 2020 13:10:08 +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 2747295dc..20eb51fc0 160000 --- a/main/dependencies/arts +++ b/main/dependencies/arts @@ -1 +1 @@ -Subproject commit 2747295dcbd796b8a06542033414d596aa37ea10 +Subproject commit 20eb51fc09f448d33c6bd782f45588079cc0139d