diff --git a/main/dependencies/arts b/main/dependencies/arts index 50df43278..12184efbf 160000 --- a/main/dependencies/arts +++ b/main/dependencies/arts @@ -1 +1 @@ -Subproject commit 50df432789146cbe420fcb11cce58f8d062cd410 +Subproject commit 12184efbf333798309ffab2c3730d1cf0e35f250