From 2cb62228c7f5bfc77be4b28cfc3eb82b516c8550 Mon Sep 17 00:00:00 2001 From: Automated System Date: Tue, 19 Feb 2019 17:54:18 +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 486ca933f..e19dcc47f 160000 --- a/main/dependencies/arts +++ b/main/dependencies/arts @@ -1 +1 @@ -Subproject commit 486ca933f366b54df38bc5f033ed0cf91bc67255 +Subproject commit e19dcc47f21e04da5350b6b58c0a8d647b194f9f