Comment 14 for bug 1732185

I'm wondering about the importance of adding the workaround to ubuntu-release-upgrader since with the change to update-manager the upgrade seems to work and probably most users would use do-release-upgrade only when preferring a CLI tool.