Hello Bastian and Moritz, Sorry for not responding more promptly, I was too busy with various other things. Today I wanted to test the fix. However, I am not that familiar with finding and testing kernels, so after about an hour of trying to find the necessary information, I gave up. I would be happy to test the new kernel, but in order to do it I need to know where to get it from, and how to install it. Regards, Peter
-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org