It seems that this bug and the bug #519469 are the same http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=519469
Both arise because apt installs and suggest removing a package. We should merge 517202 519469 Regards, Marco -- http://bodrato.it/papers/ -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

