Re: override: downgrade priority of all libraries to optional

On Fri, Jan 19, 2018 at 03:50:42PM +0100, Luca Falavigna wrote: >Dear -boot and -cd teams, > >could you please comment on the request of demoting library priorities >from required and important to optional? Hey Luca (again!), In terms of -cd, libraries aren't likely to be affected. Dependencies w

Re: override: wget:web/standard

On Fri, Jan 19, 2018 at 03:46:34PM +0100, Luca Falavigna wrote: >Dear -boot and -cd teams, > >could you please comment on the request of demoting wget priority from >important to standard? Hi Luca, Re -cd, I don't expect that to cause any issues. The priority there might make a difference in term

override: downgrade priority of all libraries to optional

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

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