>>>>> On Fri, 24 May 2024 20:02:35 +0200, Holger Wansing <hwans...@mailbox.org> >>>>> 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