Re: Bug#846982: override: downgrade priority of all libraries to optional

2018-01-20 Thread Luca Falavigna
Hi Cyril, 2018-01-20 14:14 GMT+01:00 Cyril Brulebois : > Just as a reminder, priority is archive-wise so we won't have that in > unstable then in testing, right? Normally overrides are changed for unstable, but are propagated to testing during dinstall. If we have a look at a recent override chan

override: downgrade priority of all libraries to optional

2018-01-19 Thread Luca Falavigna
Dear -boot and -cd teams, could you please comment on the request of demoting library priorities from required and important to optional? Thanks, Luca

override: wget:web/standard

2018-01-19 Thread Luca Falavigna
Dear -boot and -cd teams, could you please comment on the request of demoting wget priority from important to standard? Thanks, Luca