On Sun, Sep 27, 2020 at 8:08 AM Thomas Gleixner <[email protected]> wrote: > > please pull the latest timers/urgent branch from: > > git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git > timers-urgent-2020-09-27
Hmm. I got this (and the x86) pull request twice.
Is it just because the subject line was messed up the first time, or
did you perhaps mean to send something else?
Linus
