Actually, the buggy file (/etc/grub.d/20_linux_xen) belongs to the grub2
package, so the bug is assigned to a wrong package.

Not that it matters, but I'd  originally assigned it to grub.  It was ignored 
there as well.
I switched it to Xen after I was told in #irc to do so.

Too much pushing rocks uphill for my taste.  Building my own.
_______________________________________________
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]

Reply via email to