On Sun, Jun 14, 2009 at 1:18 AM, Kevin Kofler<kevin.kof...@chello.at> 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@redhat.com To unsubscribe: https://www.redhat.com/mailman/listinfo/fedora-list Guidelines: http://fedoraproject.org/wiki/Communicate/MailingListGuidelines