Linus,
On Sun, 11 Nov 2018, Linus Torvalds wrote:
> On Sun, Nov 11, 2018 at 2:11 AM Thomas Gleixner <t...@linutronix.de> wrote:
> >
> > git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git
> > sched-urgent-for-linus
>
> Hmm. I get
>
> Already up to date.
>
> with top commit being 993f0b0510da ("sched/topology: Fix off by one
> bug") that I already merged earlier.
>
> Did you forget to push out?
>
> I did find the commits in the 'sched/urgent' branch, so I pulled that.
Sorry. I was on a flaky wireless connection at the airport, so one of the
pushs must have failed without me noticing.
Thanks,
tglx
