On Thu, Jun 11, 2026 at 7:59 PM Etsuro Fujita <[email protected]> wrote: > You are right; that's an oversight in the follow-up commit. The patch > looks good to me, so I'll push it after confirming that there are no > similar mistakes.
As I couldn't find any, I pushed it. Best regards, Etsuro Fujita
