It's a fairly new machine, so the only other Linux OS it has had on it is Linux Mint 15, which is based on 13.04. The problem seems to be more frequent there.
It's a fairly new machine, so the only other Linux OS it has had on it is Linux Mint 15, which is based on 13.04. The problem seems to be more frequent there.