From 42ea34b13abae84c34251bb178f7b01452073b4e Mon Sep 17 00:00:00 2001 From: Automated System Date: Wed, 12 Jun 2019 15:09:57 +0000 Subject: 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 9035d57d6..9e01acbc0 160000 --- a/main/dependencies/arts +++ b/main/dependencies/arts @@ -1 +1 @@ -Subproject commit 9035d57d6ef2c7f2e058f7e7973c069216c4d963 +Subproject commit 9e01acbc0e8de207a85afac515ee73d038b7c089 -- cgit v1.2.1