Comment 5 for bug 482699

Revision history for this message
Sergio Zanchetta (primes2h) wrote :

I forgot to mention that you need to run:

sudo update-grub

in a terminalt after editing the grub file and then reboot.