On Sun, Jun 14, 2009 at 10:55:27AM +0530, Steve Repo wrote: > 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? That would be good :) Rui -- fedora-list mailing list fedora-list@xxxxxxxxxx To unsubscribe: https://www.redhat.com/mailman/listinfo/fedora-list Guidelines: http://fedoraproject.org/wiki/Communicate/MailingListGuidelines