On Mon, Aug 3, 2020 at 1:48 PM Linus Torvalds
<torvalds@xxxxxxxxxxxxxxxxxxxx> wrote:
>
> I've pushed out my merge of this thing [..]
It seems I'm not the only one unhappy with the pull request.
For some reason I also don't see pr-tracker-bot being all happy and
excited about it. I wonder why.
Linus
