Glad to hear it!
On Wed 4. Nov 2026 at 03:29, Fujii Masao <masao(dot)fujii(at)gmail(dot)com> wrote:
> On Tue, Nov 3, 2026 at 11:24 AM Fujii Masao <masao(dot)fujii(at)gmail(dot)com> wrote:
> > Thanks for the report and patch! It looks good to me.
> > Barring any objections, I will commit it.
>
> I've pushed the patch. Thanks!
>
> Regards,
>
> --
> Fujii Masao
>