Hey I am considering to mark this as "wontfix"; I doubt we can write an accurate check for this without spending a lot of time on it. Secondly it does not seem to be a re-occurring problem these days.
~Niels -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]

