Is it worth keeping this open? Does the issue still show? Should the
bug be retitled to reflect that we're facing a kernel issue? Should
there be language in debian/NEWS to explain this?

Do you have an opinion?

Greetings
MArc

Reply via email to