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...
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...