From b0b48570f4eb5adfb1d7b41d698caf2db70ad4b6 Mon Sep 17 00:00:00 2001 From: Automated System Date: Sat, 12 Jan 2019 18:10:27 +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 ad1a48748..a5ed2d28f 160000 --- a/main/dependencies/arts +++ b/main/dependencies/arts @@ -1 +1 @@ -Subproject commit ad1a4874812aeb81f7a219e7d8ee6d9be3392d2a +Subproject commit a5ed2d28f653840ff57b1bd905e22d3801be99e5