Open terminal: $ sudo apt-get update $ sudo apt-get dist-upgrade
To upgrade. This will also bring in updated update-manager which may have fixed this issue once again.
Open terminal:
$ sudo apt-get update
$ sudo apt-get dist-upgrade
To upgrade. This will also bring in updated update-manager which may have fixed this issue once again.