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? Chris Murphy -- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel
