From 40d35117432d650f92fba63d2e7108853c8355bf Mon Sep 17 00:00:00 2001 From: Automated System Date: Fri, 9 Oct 2020 08:11: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 20eb51fc0..2f53bfe61 160000 --- a/main/dependencies/arts +++ b/main/dependencies/arts @@ -1 +1 @@ -Subproject commit 20eb51fc09f448d33c6bd782f45588079cc0139d +Subproject commit 2f53bfe61c8ee78ff36ac6c66ae714b01e407b33