Die neue Ubuntu-Version ist veröffentlicht, allerdings sagt die Konsole folgendes:
$ sudo do-release-upgrade Checking for a new Ubuntu release No new release found.
Ich könnte manuell die sources.list ändern und dann ein dist-upgrade durchführen. Was würdet ihr sagen?