On Sat, May 1, 2021 at 1:00 AM Paolo Bonzini <pbonzini@xxxxxxxxxx> wrote:
>
> is there anything wrong with this pull request?
No, it's still in my pending queue, and in fact I'll get around to it
today. It's just that I've always had something else I wanted to look
at, and this was always "I'll get to it when my queue is emptier"".
And the queue never emptied (but today is the first time I don't have
a lot of new pull requests pending overnight, yay!)
Linus
