From 49fe32a975e2219a959483c825ad7355125f93c0 Mon Sep 17 00:00:00 2001 From: Automated System Date: Fri, 12 Jun 2020 12:34:52 +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 54782cb21..831b51f61 160000 --- a/main/dependencies/arts +++ b/main/dependencies/arts @@ -1 +1 @@ -Subproject commit 54782cb2113cbbe213226ce22899295ff0ebdfbb +Subproject commit 831b51f61d9562442a11e1cf898c23b4bd8a2ca5