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. :) Paolo
