Sebastian Ullrich a35bf7ee4c chore: revert "perf: use C23's free_sized when available" (#6841) ... Reverts leanprover/lean4#6598, which broke Windows CI		2025-01-29 09:11:23 +00:00
..
lean	chore: revert "perf: use C23's free_sized when available" (#6841)	2025-01-29 09:11:23 +00:00