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