Update extern/utils submodule to latest commit

riccardodebenedictis · riccardodebenedictis · commit fdec1d1d188f · 2025-02-10T17:10:59.000+01:00
diff --git a/extern/utils b/extern/utils
@@ -1 +1 @@
-Subproject commit 00b4b768a99090b4705f5f1829e09a8c93b4412a
+Subproject commit 9871f72994659c3b27b8a0a0514cae7c2d3be954
