On Thu, Jun 13, 2019 at 04:32:24PM +0000, Paul Burton wrote: > Hi Peter, > > On Thu, Jun 13, 2019 at 03:43:17PM +0200, Peter Zijlstra wrote: > > Paul, how do you want to route the MIPS bits? > > Thanks for following up on these issues. I'd be happy to take the MIPS > patches through the mips-fixes branch - do you have a preference?
That works for me; I'll make sure the x86 one goes through tip. Thanks!