On Thu, 2016-06-30 at 15:43 +0200, Thomas Gleixner wrote: > On Thu, 30 Jun 2016, Mike Galbraith wrote: > > > > Lunch rendered me (yawn) comatose, so I'm a bit late, but sent. > > Patch below should fix the issue - the timer one, not yours :)
<twiddle>
Box should have griped by now.. yup, all better.
-Mike
(mine isn't a wart, it's a.. somewhat noisy [90 dB] beauty mark)
