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-linusNow merged, thanks.greg k-h