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

Reply via email to