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