Update extern/utils submodule to latest commit

riccardodebenedictis · riccardodebenedictis · commit 20c43198d84d · 2025-07-10T12:03:14.000+02:00
diff --git a/extern/utils b/extern/utils
@@ -1 +1 @@
-Subproject commit 757a30a63f53e47556f66878a110e804842a941b
+Subproject commit a13fb2ad563ce69492fa42d26f2c4369556fe9a8
