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@xxxxxxxxx "God is more forgiving." -- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel
