From 86ca42fb64091682b680981a8a4d8c09916ff66c Mon Sep 17 00:00:00 2001 From: Automated System Date: Wed, 24 Jun 2020 23:45:15 +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 3a86276a6..6013eace9 160000 --- a/main/dependencies/arts +++ b/main/dependencies/arts @@ -1 +1 @@ -Subproject commit 3a86276a62c2b3fac793026dce37206c13d9bfb3 +Subproject commit 6013eace94cd5f9f75ad4bb63f1ce60a8fdc62da