On Fri, May 11, 2018 at 5:10 PM David Miller <[email protected]> wrote:
> I guess this is my reward for trying to break the monotony of
> pull requests :-)
I actually went back and checked a few older pull requests to see if this
had been going on for a while and I just hadn't noticed.
It just took me by surprise :^p
Linus
