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.

Reply via email to