I do not have an add-ppa-repository, at least not anymore. What I have now is add-apt-repository and that works fine. Closing...
** Changed in: software-properties (Ubuntu) Status: New => Fix Released -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/640784 Title: add-ppa-repository leaves garbage in xorg-edgers-ppa-maverick.list -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs