This seems to be fixed in upstream version 0.81.8: https://launchpad.net/ubuntu/+source/software-properties/0.81.8
Just wait for that version to migrate into Debian. -- Kind regards, Dmitry Shachnev -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
