> On Jun 14, 2026, at 15:22, Etsuro Fujita <etsuro(dot)fujita(at)gmail(dot)com> wrote:
>
> On Thu, Jun 11, 2026 at 7:59 PM Etsuro Fujita <etsuro(dot)fujita(at)gmail(dot)com> wrote:
>> You are right; that's an oversight in the follow-up commit. The patch
>> looks good to me, so I'll push it after confirming that there are no
>> similar mistakes.
>
> As I couldn't find any, I pushed it.
>
> Best regards,
> Etsuro Fujita
Thanks a lot for pushing.
Best regards,
--
Chao Li (Evan)
HighGo Software Co., Ltd.
https://www.highgo.com/