Comment 2 for bug 720036

Revision history for this message
Mark M. (earlmagnus) wrote :

Running "sudo apt-get dist-upgrade" afterward worked just fine.