Re: packages.debian.org hasn't been updated for non-free-firmware

[Alexandre Detiste]

Thanks it works now.

Le dim. 19 févr. 2023 à 17:04, Cyril Brulebois <k...@debian.org> a écrit :
>
> Cyril Brulebois <k...@debian.org> (2023-02-19):
> > I tried to hotpatch it, but failed to so far.
>
> Second attempt seems better. Might take an extra dinstall (+ indexing in
> the following hours) to have all the things in place though. If people
> still see problems tomorrow, please follow up with details.