Am 24. Mai 2024 20:10:35 MESZ schrieb Thomas Lange <la...@cs.uni-koeln.de>:
>>>>>> 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?
Don't know.
Holger
--
Sent from /e/ OS on Fairphone3
