Upgrading fixed this error. Please apologize for my not checking before. You may close the bug.
Thanks for working hard for providing such a good Linux kernel for Debian! Best regards Niklaus Giger -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
