From bcc78df3311f2cea0090315db44eb99dadffeb58 Mon Sep 17 00:00:00 2001 From: Automated System Date: Wed, 4 Jul 2018 08:32:20 +0200 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 1b0b9f627..1ee7912f7 160000 --- a/main/dependencies/arts +++ b/main/dependencies/arts @@ -1 +1 @@ -Subproject commit 1b0b9f6271e8819932af07651760484fcd909e14 +Subproject commit 1ee7912f7e9c9da142c14ebc38f3db188fe86d4e