This bug is not a bug in update-manager, because update-manager denied knowledge of any new version of Ubuntu, so (following the instructions on <https://help.ubuntu.com/community/EdgyUpgrades>) I used aptitude dist-upgrade instead.
This bug is not a bug in update-manager, because update-manager denied knowledge of any new version of Ubuntu, so (following the instructions on <https:/ /help.ubuntu. com/community/ EdgyUpgrades>) I used aptitude dist-upgrade instead.