>>>>> On Tue, 13 Jun 2023 14:27:34 +0200, Cyril Brulebois <k...@debian.org> >>>>> said:
> Probably best to finally drop it, to avoid wasting more brain time on
> suite updates (for that particular file)?
Yes, please drop it.
--
viele Grüße Thomas
