On Fri, Sep 4, 2026 at 11:02 PM Fujii Masao <masao(dot)fujii(at)gmail(dot)com> wrote:> So, barring any objections, I'll commit the patch.
I've pushed the patch. Thanks!
Regards,
-- Fujii Masao