Re: Kernel issues in bugzilla

[Werner Almesberger]

Mike Montour wrote:
> Yes, that looks correct.

Applied in revision 4003.

Thanks,
- Werner