Comment 5 for bug 1553230

I have now rebooted it and all seems well except for when running 'sudo apt-get dist-upgrade' I get the following error so I don't think that it did finish:

    E: dpkg was interrupted, you must manually run 'sudo dpkg --configure -a' to correct the problem.