why is gurb-menu hidden as default?

[Tomasz Torcz]

On Mon, Feb 06, 2012 at 02:55:38PM +0100, Reindl Harald wrote:
> who decided that it is a good idea to hide the grub-menu?

  It was F10 feature: http://fedoraproject.org/wiki/Features/BetterStartup
I believe showing GRUB2 menu is a regression which will be
fixed before F17 release.

-- 
Tomasz Torcz                 "God, root, what's the difference?"
xmpp: zdzichubg at chrome.pl         "God is more forgiving."