On 06/24/2013 06:25 PM, Frank Murphy wrote: > He forgot the version: > https://bugzilla.redhat.com/show_bug.cgi?id=908528 > Fixed In Version: grub2-2.00-16
Who's forgotten and what's forgotten!? :) Although your namesake mentions F17/18/19, he actually alludes to the F19 - grub2-2.00-22.fc19 that already has that option. Regarding F18 - grub2-2.00-15.fc18, there are instructions[1]. ;) poma [1] http://article.gmane.org/gmane.linux.redhat.fedora.general/427268/match=grub_disable_submenu -- users mailing list users@lists.fedoraproject.org To unsubscribe or change subscription options: https://admin.fedoraproject.org/mailman/listinfo/users Guidelines: http://fedoraproject.org/wiki/Mailing_list_guidelines Have a question? Ask away: http://ask.fedoraproject.org
