On Sun, Mar 24, 2019 at 11:48 AM Linus Torvalds <[email protected]> wrote: > > It looks right to me now, so I've pulled it.
Interestingly, I'm not seeing pr-tracker-bot reacting to my pull.
I *think* that's because pr-tracker-bot saw the same thing as I
initially did for the pull request, so it thinks the pull I actually
*did* after you force-updated the branch doesn't match the original
pull request, because I ended up pulling something else..
Or maybe it's just delayed. We'll see.
Linus
