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