Comment 15 for bug 2042796

Revision history for this message
Artur Pak (artur-at-work) wrote (last edit ):

Yes, that's correct.
You may also need "sudo apt update" after adding the repository