On Fri, May 8, 2026 at 12:04 AM Fujii Masao <masao(dot)fujii(at)gmail(dot)com> wrote:> Thanks for the patch! It looks good to me.> Barring any objections, I will commit the patch.
I've pushed the patch. Thanks!
Regards,
-- Fujii Masao