From 3136619e6328dbc45f53bfdd2bbf827266158dc4 Mon Sep 17 00:00:00 2001 From: Automated System Date: Fri, 12 Jun 2020 12:09:58 +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 cbc3b888d..2ef12166d 160000 --- a/main/dependencies/arts +++ b/main/dependencies/arts @@ -1 +1 @@ -Subproject commit cbc3b888de5d841eb34353d28dbc900acaa28bcc +Subproject commit 2ef12166d525a31eb6593bc1d8397778a5b41ebb