On Fri, Feb 05, 2021 at 03:55:33PM +0100, Frédéric Pierret wrote:
> >be doing it all the time. It's a perfectly good situation to _not_ optimize.
> 
> That was my original remark that pulling a "big" RPM for just one file is
> not optimal. But as you said, it will probably concern very few amount of
> users. So inserting a buildinfo file into debuginfo RPM is a good start.
> Also, nothing is written in the stone? If needed in a future, we could
> change that.

Yeah, exactly — we can optimize later.

-- 
Matthew Miller
<mat...@fedoraproject.org>
Fedora Project Leader
_______________________________________________
devel mailing list -- devel@lists.fedoraproject.org
To unsubscribe send an email to devel-le...@lists.fedoraproject.org
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@lists.fedoraproject.org

Reply via email to