Comment 11 for bug 699802

Revision history for this message
RobPower (robpwr) wrote :

PS: remember to run "sudo update-grub" after changing "/etc/default/grub"