On Mon, Apr 16, 2018 at 11:15 AM, Linus Torvalds <[email protected]> wrote: > > Ingo/Thomas: I will be just taking this directly, since it's so > trivial and obvious and I got cc'd on the discussion.
.. and I also verified that it actually fixes the problem Shuah
reported. Not that there really was any question about it, but hey,
after bisecting it I decided to just test the fix too.
I know, I know. What are users for? I must be slipping.
Linus

