> On Jun 3, 2026, at 15:55, Fujii Masao <masao(dot)fujii(at)gmail(dot)com> wrote:
>
> On Tue, Jun 2, 2026 at 2:57 PM Chao Li <li(dot)evan(dot)chao(at)gmail(dot)com> wrote:
>>> Thanks for reporting the issue and providing the patch! The patch
>>> looks good to me.
>
> I've pushed the patch. Thanks!
>
> Regards,
>
> --
> Fujii Masao
Thanks for pushing.
Best regards,
--
Chao Li (Evan)
HighGo Software Co., Ltd.
https://www.highgo.com/