On Thu, Sep 25, 2025 at 11:12 AM Yugo Nagata <[email protected]> wrote:
> Thank you for your suggestion and updating the patch.
> I'm fine with your version since it is clearer.

I've pushed the patch. Thanks!

Regards,

-- 
Fujii Masao


Reply via email to