Hi Seth! I still have the bug, but I'm not sure I did the installation right: I downloaded the ...image..., and the ...image-extra.. files from the link you sent in your previous comment, installed them as usual, but I still had one single entry in the grub menu for 3.13.0-38-generic. Is that OK?
Hi Seth! I still have the bug, but I'm not sure I did the installation right: I downloaded the ...image..., and the ...image-extra.. files from the link you sent in your previous comment, installed them as usual, but I still had one single entry in the grub menu for 3.13.0-38-generic. Is that OK?