Hi, ok, sorry folks :-) i've submitted another bug as you suggested. I am sure it is a real issue, which could even seriously affect the usability of a fresh installation if that misdetection happens there.
It is bug #571636: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=571636 Best regards, Ariel -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org