Hi Andreas, > I guess you forgot to `git push` ...
I did, sorry for my oversight. The branch on git.d.o is update to date now. Kind Regards, Bas -- To UNSUBSCRIBE, email to debian-mentors-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/0883a303ea00f9d07ce133bcaa934943.squir...@webmail.xs4all.nl
