On Tue, Jun 2, 2026 at 2:57 PM Chao Li <li(dot)evan(dot)chao(at)gmail(dot)com> wrote:> > Thanks for reporting the issue and providing the patch! The patch> > looks good to me.
I've pushed the patch. Thanks!
Regards,
-- Fujii Masao