On Tue, Jun 2, 2026 at 2:57 PM Chao Li <[email protected]> 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


Reply via email to