On Tue, Oct 20, 2026 at 11:49 AM Fujii Masao <masao(dot)fujii(at)gmail(dot)com> wrote:> Barring any objections, I will commit it.
I've pushed the patch. Thanks!
-- Fujii Masao