Re: [GIT PULL] Nohz / isolation fixes

From: Frederic Weisbecker
Date: Thu Dec 14 2017 - 13:16:12 EST


2017-12-14 15:14 UTC+01:00, Frederic Weisbecker <frederic@xxxxxxxxxx>:
> Ingo,
>
> Please pull the nohz/fixes branch that can be found at:
>
> git://git.kernel.org/pub/scm/linux/kernel/git/frederic/linux-dynticks.git
> nohz/fixes
>
> HEAD: 11c3146353bb83028ace8ad089a911c390395986

Sorry please disregard this pull request, I messed up with the
autorship. I'm sending another version.