Comment 7 for bug 1917220

Right, my sources.list had originally ports.ubuntu.com urls. Since I was still with the 19.10 version, I couldn't update my system anymore. To update it, I changed the urls to old-releases.ubuntu.com/ubuntu/ and then did the upgrade. It is probably why I ended up having this bug ...