allow making no timeout

[jidanni]

>From http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=497085 I assume
this is an upstream problem.


_______________________________________________
Grub-devel mailing list
Grub-devel@gnu.org
http://lists.gnu.org/mailman/listinfo/grub-devel