would fixing this also fix the bug where installing a new kernel changes the default boot OS even when the default is non Linux?
-- devel mailing list devel@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/devel
would fixing this also fix the bug where installing a new kernel changes the default boot OS even when the default is non Linux?
-- devel mailing list devel@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/devel