On Tue, Feb 07, 2017 at 09:08:18AM +0100, Ingo Molnar wrote: > > * Frederic Weisbecker <fweis...@gmail.com> wrote: > > > 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! :-) > > These patches went into tip:sched/core a week ago, as you can see it from the > tip-bot notifications. Didn't you get those?
Oh I'm really sorry about that! You're right, those tip-bot notifications went into my gmail spam box. I have no idea why. Thanks a lot for pulling Ingo! > Thanks, > > Ingo