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
[email protected]
https://admin.fedoraproject.org/mailman/listinfo/devel

Reply via email to