From cf8a0f0284ec3ef5394ad547fd26b69e88de55af Mon Sep 17 00:00:00 2001 From: Automated System Date: Wed, 29 Jul 2020 17:44:59 +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 092c8d432..10f8caf33 160000 --- a/main/dependencies/arts +++ b/main/dependencies/arts @@ -1 +1 @@ -Subproject commit 092c8d432b9e98fb8b6185a0046ee6cb5b01d911 +Subproject commit 10f8caf33b5ce56fe8b467f4652a745a9123106a