tags 568242 wontfix thanks Hi,
I believe this case warrants an override instead of a command line option. Unless there is a disagreement with this assertion, I will close this bug after a week. Thanks for reporting, ~Niels -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org