Re: [GIT PULL] cputime: Convert core use of cputime_t to nsecs

[Ingo Molnar]

* Frederic Weisbecker <fweisbec@xxxxxxxxx> 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?

Thanks,

	Ingo