On 2/19/23 17:04, Cyril Brulebois wrote:
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. Cheers,
Hi Cyril, Thanks a lot for this! :) Thomas
