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