On Mon, Jan 30, 2017 at 05:46:43AM +0100, Frederic Weisbecker wrote: > Ingo, > > Please pull the cputime/nsecs-for-tip branch that can be found at: > > git://git.kernel.org/pub/scm/linux/kernel/git/frederic/linux-dynticks.git > cputime/nsecs-for-tip
Ping! :-)