From f3cbd8529c5c6b8ab339ef7cca0eff7ea7d5beb6 Mon Sep 17 00:00:00 2001 From: Automated System Date: Mon, 11 May 2020 01:41:11 +0000 Subject: Reset submodule main/dependencies/arts to latest HEAD --- main/dependencies/arts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'main/dependencies/arts') diff --git a/main/dependencies/arts b/main/dependencies/arts index cf0e2bb82..0ba88fc4d 160000 --- a/main/dependencies/arts +++ b/main/dependencies/arts @@ -1 +1 @@ -Subproject commit cf0e2bb82b9cc6c8c383c8c2680e9aa132f5e67e +Subproject commit 0ba88fc4dee086e465cf94af3e8f252720bf5f0c -- cgit v1.2.1