Re: override: wget:web/standard

Hi, Luca Falavigna (2018-01-19): > could you please comment on the request of demoting wget priority from > important to standard? And thanks for checking with us. I might be missing something obvious but I can't think of anything that would obviously break because of

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

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