>>>>> On Fri, 24 May 2024 20:02:35 +0200, Holger Wansing <[email protected]> >>>>> said:
> Hi Thomas,
> you fixed this in master branch.
> Are you sure about this?
> I somehow seem to remember, that debian-master branch is used for
packages.d.o ...
you are right, debian-master seems to be the correct branch.
I will fix it also in debian-master.
Do you know if the branch master is used for anything?
--
Thomas

