Comment 15 for bug 1273764

Revision history for this message
Øyvind Stegard (oyvindstegard) wrote : Re: Grub ignores options on /etc/default/grub

+1 for fixing this. The current situation is broken, since timeout settings in /etc/default/grub do not work as expected.