Thanks it works now. Le dim. 19 févr. 2023 à 17:04, Cyril Brulebois <kibi@debian.org> a écrit : > > Cyril Brulebois <kibi@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.