From 628c9e2e0df9462786494c19fcd007064c4732fb Mon Sep 17 00:00:00 2001 From: Automated System Date: Tue, 8 May 2018 01:29:12 +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 9493a7c2f..77f9cb10c 160000 --- a/main/dependencies/arts +++ b/main/dependencies/arts @@ -1 +1 @@ -Subproject commit 9493a7c2f9465fff2fe54e016ac4efb69da3158d +Subproject commit 77f9cb10cd91c881bf56b7a3e567e7fab83e2f66