From aef6367539cd4b4355c81abf6374be9ee6d1948a Mon Sep 17 00:00:00 2001 From: Automated System Date: Tue, 18 Dec 2018 14:11:00 +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 5ec8629d4..ad1a48748 160000 --- a/main/dependencies/arts +++ b/main/dependencies/arts @@ -1 +1 @@ -Subproject commit 5ec8629d48e7c13b34459f1d2a772deae9a4e993 +Subproject commit ad1a4874812aeb81f7a219e7d8ee6d9be3392d2a