- align codi with develop

rois1995 · rois1995 · commit 490416588d2a · 2025-03-07T15:26:01.000+01:00
diff --git a/externals/codi b/externals/codi
@@ -1 +1 @@
-Subproject commit 02b10b6b8c1dc7868b97fc36a512ff1ef65cfff4
+Subproject commit 762ba7698e3ceaa1b17aa299421ddd418f00b823
