On Wed, Jul 26, 2023 at 11:44:09AM -0700, Kevin Fenzi wrote: > On Tue, Jul 25, 2023 at 06:45:41PM +0200, Miro Hrončok wrote: > > Should I open a releng ticket to include this package in the next mass rebuild? > > I suppose we could rebuild it, I don't think that would matter any? > Or would it? Florian? Yes, please rebuild it. It doesn't matter that it's not shipped itself. It's still code that is used in other places and shipped. (And also: no, we really don't need yet another exception.) Zbyszek _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx 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/devel@xxxxxxxxxxxxxxxxxxxxxxx Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue