Bug#573216: grub-pc: Include changes from Ubuntu to hide the menu

[Matteo Cortese]

I second Sven's request, also considering that in Debian, the so-called hidden 
mode (GRUB_HIDDEN_TIMEOUT) is not so "hidden" after all.



-- 
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org