From af62ca0cae77d3fd261b438ad4a17e23ea1e46ad Mon Sep 17 00:00:00 2001 From: Automated System Date: Thu, 29 Nov 2018 19:10:05 +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 ac186a755..ab9233776 160000 --- a/main/dependencies/arts +++ b/main/dependencies/arts @@ -1 +1 @@ -Subproject commit ac186a755b086f699009178b31049da8b22d511f +Subproject commit ab923377625ceb5a15d129f28e57e758820efbb7