On Fri, May 17, 2019 at 4:49 AM Paolo Bonzini <[email protected]> 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
