Re: override: wget:web/standard

2018-01-20 Thread Cyril Brulebois
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 this.
Please do that, and we'll fix any breakages that might pop up.


Cheers,
-- 
Cyril Brulebois (k...@debian.org)
D-I release manager -- Release team member -- Freelance Consultant


signature.asc
Description: PGP signature


Re: override: wget:web/standard

2018-01-19 Thread Steve McIntyre
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 terms of where wget will appear on
installation media, but I doubt it. wget is already *way* up the
popcon list so will be near the beginning anyway.

However, for my own safety in the debian-cd *package*. I've just
upgraded from Recommends: to Depends: for wget.

-- 
Steve McIntyre, Cambridge, UK.st...@einval.com
You raise the blade, you make the change... You re-arrange me 'til I'm sane...



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