On Sun, Jun 14, 2009 at 1:18 AM, Kevin Kofler<kevin.kofler@xxxxxxxxx> wrote: > Rui Miguel Silva Seabra wrote: >> That was something I found weird... on an Ubuntu (Jaunty) machine: > > Ubuntu's GRUB is patched for ext4, the patch didn't make F11. Perhaps F12 will move to grub 2? Steve -- fedora-list mailing list fedora-list@xxxxxxxxxx To unsubscribe: https://www.redhat.com/mailman/listinfo/fedora-list Guidelines: http://fedoraproject.org/wiki/Communicate/MailingListGuidelines