Ok, thank you @elextr.
So using PPA, I do not have to choose, I will always get the latest stable one when apt-get update / apt-get upgrade.
If I am not wrong ?

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.