Re: [GIT PULL] workqueue: Changes for v6.10

[Linus Torvalds]

On Wed, 15 May 2024 at 17:55, Tejun Heo <tj@xxxxxxxxxx> wrote:
>
> I'll send the corrected pull request right away.

It's fine, I already merged it.

Mistakes happen, this wasn't a huge pattern of problems with you, and
while I could have just merged the non-merge commit I decided that I'd
rather take the ugly empty merge and get your signature than to pick
the "right" commit and avoid the merge.

             Linus