<div dir="ltr">I have reported the bug at 00:25 UTC.  You have located the bug and released the patch at 01:10 UTC ! <div><br></div><div>I have never seen something like that in my life  ... and I am 64 years old !<div><br></div><div>Thank you very much.</div><div><br></div><div>Alessandro<br><div><br></div><div><br></div></div></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Feb 16, 2017 at 1:10 AM, Linus Torvalds <span dir="ltr"><<a href="mailto:torvalds@linux-foundation.org" target="_blank">torvalds@linux-foundation.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On Wed, Feb 15, 2017 at 5:04 PM, Linus Torvalds<br>
<<a href="mailto:torvalds@linux-foundation.org">torvalds@linux-foundation.org</a><wbr>> wrote:<br>
><br>
> Trivial patch attached<br>
<br>
.. and pull request on github sent to Dirk.<br>
<span class="HOEnZb"><font color="#888888"><br>
           Linus<br>
</font></span></blockquote></div><br></div>