> On 26 Mar 2025, at 10:12, Pavel Stehule <pavel.steh...@gmail.com> wrote:

> yes, it is ok after this change

Thanks for confirming, committed.

--
Daniel Gustafsson



Reply via email to