Comment 7 for bug 669481

Sean DS (se4n-1) wrote :

Temporary fix: in /etc/grub.d/00_header line 242 change the timeout from -1 to any positive integer for a quick workaround.