Re: [GIT PULL] scheduler fixes

From: Greg Kroah-Hartman
Date: Sat Oct 20 2018 - 09:29:01 EST


On Sat, Oct 20, 2018 at 10:45:16AM +0200, Ingo Molnar wrote:
> Greg,
>
> Please pull the latest sched-urgent-for-linus git tree from:
>
> git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git sched-urgent-for-linus

Now merged, thanks.

greg k-h