For some reason, grub.conf was not updated. Still tried to boot old F12 kernel (which of course wasn't there). Any info I can provide that would help to diagnose? -- test mailing list test@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe: https://admin.fedoraproject.org/mailman/listinfo/test
