On Fri, Dec 11, 2020 at 2:21 PM Matthew Miller <[email protected]> wrote: > > On Fri, Dec 11, 2020 at 02:18:38PM -0500, Neal Gompa wrote: > > This would probably be easier if we dropped isolinux and used grub2 > > for BIOS ISO boot just like we do for UEFI ISO boot. > > I'm not horribly opposed. I just don't want scope creep to mean we can't > make a pretty easy change. >
Well, we have to change it in both places anyway. :) Dropping isolinux just means we have one less menu to maintain. -- 真実はいつも一つ！/ Always, there's only one truth! _______________________________________________ devel mailing list -- [email protected] To unsubscribe send an email to [email protected] Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/[email protected]
