On Thu, Sep 3, 2026 at 11:58 AM Fujii Masao <masao(dot)fujii(at)gmail(dot)com> wrote:> Barring any objections, I will commit the patch.
I've pushed the patch. Thanks!
Regards,
-- Fujii Masao