On Mon, Nov 2, 2026 at 10:57 AM Fujii Masao <masao(dot)fujii(at)gmail(dot)com> wrote:> Barring any objections, I will commit it.
I've pushed the patch. Thanks!
Regards,
-- Fujii Masao