> On 26 Mar 2025, at 10:12, Pavel Stehule <[email protected]> wrote:

> yes, it is ok after this change

Thanks for confirming, committed.

--
Daniel Gustafsson



Reply via email to