Re: [GIT PULL] KVM changes for 5.2 merge window

[Linus Torvalds]

On Fri, May 17, 2019 at 4:49 AM Paolo Bonzini <pbonzini@xxxxxxxxxx> wrote:
>
> Ouch, thanks. :/  I'll send a new pull request as soon as I finish
> testing the change you suggested.

I see that you added the trivial fix to things and re-tagged using the
same tag name. I've pulled it,

                  Linus