Comment 12 for bug 1872286

I updated my Ubuntu 19.10 laptop with "sudo update-manager -d" to 20.04 beta. I always mount a small local drive in my network, because I have there my private git repo, which is then easily available to my laptops and to may raspberries.

I did not delete the package on my own, but there were some hickups during installation.