Comment 3 for bug 226118

Revision history for this message
Miguel Ángel Molina (sslapp) wrote :

executing again sudo apt-get dist-upgrade all worked fine.