On Sat, Apr 15 2017 at 2:54:54 pm BST, Thomas Gleixner <[email protected]> wrote: > On Sat, 15 Apr 2017, Marc Zyngier wrote: >> >> Acked-by: Marc Zyngier <[email protected]> >> >> Thomas, any chance you could take this as a fix through the tip tree? > > It's in Linus tree already :)
Ah, that's how you can tell I'm on holiday... ;-)
M.
--
Jazz is not dead, it just smell funny.
