From 2f647f76fc331010a3f5a545fb1ed661e050099d Mon Sep 17 00:00:00 2001 From: Automated System Date: Tue, 5 May 2015 18:03:56 -0500 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 0b75ac263..31a6127ee 160000 --- a/main/dependencies/arts +++ b/main/dependencies/arts @@ -1 +1 @@ -Subproject commit 0b75ac26396b770162f3b7aa900091728163f901 +Subproject commit 31a6127eecfb7d905939734091f6a7b6379ffc75