On Tue, 12 Sept 2023 at 13:11, Jarkko Sakkinen <[email protected]> wrote:
>
> This pull request contains a critical fix for my previous pull request.

Please, less sarcasm and more actual helpful merge commit fodder, ok?

              Linus

Reply via email to