On Thu, Jun 11, 2026 at 7:59 PM Etsuro Fujita <etsuro(dot)fujita(at)gmail(dot)com> 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