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

Reply via email to