Nevermind. I seem to have missed the link in your first message. On Mon, Dec 24, 2012 at 1:58 PM, Chris Murphy <lists@xxxxxxxxxxxxxxxxx> wrote: > > >> On Sun, Dec 23, 2012 at 5:01 PM, Chris Murphy <lists@xxxxxxxxxxxxxxxxx> wrote: >>> Since Fedora 18 will be the first release to lack an installer option to >>> install GRUB to a partition, I think it's useful to mention this in release >>> notes, and the recommended work arounds. >>> >>> Draft text (but tested commands) included. >>> >>> https://bugzilla.redhat.com/show_bug.cgi?id=872826#c36 > > > On Dec 24, 2012, at 6:53 AM, Ben Cotton <bcotton@xxxxxxxxxxxxxxxxx> wrote: > >> Chris, >> >> Thanks for the suggestion. Is there a ticket in Bugzilla for this yet? > > > I don't understand the question. > > > Chris > -- > docs mailing list > docs@xxxxxxxxxxxxxxxxxxxxxxx > To unsubscribe: > https://admin.fedoraproject.org/mailman/listinfo/docs -- Ben Cotton Fedora Docs Leader -- docs mailing list docs@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe: https://admin.fedoraproject.org/mailman/listinfo/docs
