On Mon, 12 May 2008 08:41:02 +0200 Jesper Krogh <[email protected]> wrote:
> Sorry for all the noise.
It happens. Reporting a possible kernel bug is better than remaining silent
or working around it or waiting indefinitely until you're sure it's a kernel
bug, etc.
Thanks for the update.