From 80c0803d31cf9563f51eba9e28232e939d57a2ec Mon Sep 17 00:00:00 2001 From: Automated System Date: Wed, 12 Jun 2019 14:17:27 +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 abd2beeb9..21853b6be 160000 --- a/main/dependencies/arts +++ b/main/dependencies/arts @@ -1 +1 @@ -Subproject commit abd2beeb93ce33b4db88a47a982b55e47e190675 +Subproject commit 21853b6be0ffaa32ce78f6b932f8b7a81257b40b