On Mon, Jul 07, 2025 at 01:06:44PM +0200, Juergen Christ wrote: > Done. Should I send a v3?
If bootstrapped and the new tests are still successful (no need for a full testsuite run I guess), then feel free to push immediately.
On Mon, Jul 07, 2025 at 01:06:44PM +0200, Juergen Christ wrote: > Done. Should I send a v3?
If bootstrapped and the new tests are still successful (no need for a full testsuite run I guess), then feel free to push immediately.