From 169b33dbad71095d58fa78e7f6399f13f201233b Mon Sep 17 00:00:00 2001 From: Automated System Date: Mon, 20 Aug 2018 15:18:22 +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 c1b7409de..0184742fd 160000 --- a/main/dependencies/arts +++ b/main/dependencies/arts @@ -1 +1 @@ -Subproject commit c1b7409de9bfd0c63c662b38b007d99dbb442d38 +Subproject commit 0184742fd6dda45b4c3ac2f26eb60ec9a8ccedf3