On Wed, Jun 10, 2026 at 3:54 PM Mikulas Patocka <[email protected]> wrote:
>
> Hi
>
> I will accept this (and the other patches) after the upcoming merge window
> ends.

If I am not mistaken, the merge window has closed. Should I resend the patch?

Reply via email to