On Thu, Jan 3, 2013 at 11:00 PM, Máirín Duffy <duffy@xxxxxxxxxxxxxxxxx> wrote: > On Thu 03 Jan 2013 04:55:22 PM EST, Chris Murphy wrote: >> Documentation says "The GRUB menu defaults to being hidden, >> except on dual-boot systems." but as far as I know this hasn't been > true since Fedora 16 when GRUB2 started being used. Is there a >> plan to revert back to a hidden GRUB menu at some point or is the > current behavior stable? > > It should be hidden for final releases, but not for testing and > development releases. You may have upgraded from a beta or test > release, in which case your grub config file allowing it to be active > carried over when you upgraded to final. No it is indeed not hidden when GRUB2 is being used see https://bugzilla.redhat.com/show_bug.cgi?id=737339 -- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel