Ignore my question about usage of apt-get update. Of course I have to run that before apt-get dist-upgrade.
-- dist-upgrade failed https://launchpad.net/bugs/61741 -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
