*** This bug is a duplicate of bug 1898152 ***
https://bugs.launchpad.net/bugs/1898152
After removing gnuradio-dev, the upgrade completed successfully.
Many thanks to everyone for your help.
Kind regards,
Francisco
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1899073
Title:
Upgrade to release 20.04 from 18.04 failed
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/ubuntu-release-upgrader/+bug/1899073/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
