From 5fe2f2e859dec52c07b606bbd2aa165d6a988172 Mon Sep 17 00:00:00 2001 From: Automated System Date: Thu, 7 May 2020 13:10:31 +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 1114529b4..d38f176b2 160000 --- a/main/dependencies/arts +++ b/main/dependencies/arts @@ -1 +1 @@ -Subproject commit 1114529b4570db75d6e9fc49ec2f0af43be3eb5a +Subproject commit d38f176b26c2f7ce7d28e24a0777c085a929ae29