On Wed, May 30, 2012 at 12:25 AM, Chris Wilson <chris at chris-wilson.co.uk> wrote: > > You've reported this bug in the past, though maybe on a different machine:
It's quite likely the same machine - but in the past it may have
happened once per six months or something. Now it happened twice in
two days.
Linus
