Comment 75 for bug 2034619

Revision history for this message
Martin Randau (cmmrandau) wrote :

How do I go about getting this upgrade if I had installed the version from Mario's ppa? I have proposed activated in sources.list and have removed the ppa. But sudo apt update && sudo apt upgrade does not show the new packages. Shall I revert from Mario's version?