From 5851de2855e03040f3c6894166d8ef1fe92e5597 Mon Sep 17 00:00:00 2001 From: Automated System Date: Wed, 4 Jul 2018 15:14:37 -0500 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 5d9981995..c1b7409de 160000 --- a/main/dependencies/arts +++ b/main/dependencies/arts @@ -1 +1 @@ -Subproject commit 5d9981995e34d44da2a1b236de4a7594fbe183a8 +Subproject commit c1b7409de9bfd0c63c662b38b007d99dbb442d38