diff --git a/main/dependencies/arts b/main/dependencies/arts index 5d5d13b2e..b9baf9d1a 160000 --- a/main/dependencies/arts +++ b/main/dependencies/arts @@ -1 +1 @@ -Subproject commit 5d5d13b2e415bd38553fa984bf6ffc3cd4083fa7 +Subproject commit b9baf9d1a8a4d913e483fbe15a7a296adb9eaf56