On Thu, Mar 23, 2023 at 3:22 PM Andreas Grünbacher
<andreas.gruenbac...@gmail.com> wrote:
>
> I've pushed the tag out now; should I resend the pull request?

No, all good, I have the changes,

                Linus

Reply via email to