On Wed, Apr 19, 2017 at 11:39:44PM +0200, Daniel Lezcano wrote: > On Wed, Apr 19, 2017 at 05:44:17PM +0100, Mark Rutland wrote: > > Hi Daniel,
> > I realise this is a little late, but I would very much appreciate if you > > could > > pull these arch timer GTDT patches for v4.12. The series has been largely > > fine > > for a while now, and the major hold-ups were edge cases in error handling > > which > > have now been addressed. > Hi Thomas, > > the series is ok for me. Is it possible to pull these changes directly in > tip/timers/core? The tip-bot tells me it was. Many thanks for picking these up, it's much appreciated. Mark.

