From 14bad80c9466e7394a5ef43e996b5663eb625537 Mon Sep 17 00:00:00 2001 From: Automated System Date: Sun, 8 Dec 2019 17:03:50 +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 a95f91bd5..ef4a1c768 160000 --- a/main/dependencies/arts +++ b/main/dependencies/arts @@ -1 +1 @@ -Subproject commit a95f91bd535f2805d651dae35bd3757ca403b2d9 +Subproject commit ef4a1c768f727d55161c577050d6ac6ffa499cab