On Wed, Feb 22, 2017 at 7:25 AM, Paolo Bonzini <pbonzini@xxxxxxxxxx> wrote: > > > On 22/02/2017 16:17, Andy Lutomirski wrote: >>> I pushed and tagged before seeing this v2. :( The differences seem to >>> be x86-only, so I suppose Ingo can handle them if you resubmit. >>> >> I renamed the helpers to make it less likely that someone would repeat >> my little buglet. I can submit a patch that just has the differences, >> but I think it should go in through your tree. Would that work? > > That's fine for me as long as it is for Ingo. :) > Sent.
