25 Nov
2014
25 Nov
'14
2:23 a.m.
On 11/25/14 08:18 AM, Herbert Valerio Riedel wrote:
Would it be possible to update your `sudo apt-get update`& `sudo apt-get dist-upgrade` your Linux environment with the latest bugfixes to Ubuntu 12.04.5? That way we can be sure it's not a subtle bug already fixed upstream...
I'm not sure, but IMHO this will lead to upgrade to 14.04.1. What you should use is probably `sudo apt-get update` & `sudo apt-get upgrade` Karel