Reinhard
-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
As there is a new git-snapshot in experimental, that solved the problem
for me and upstream has closed the bug, I think the bug should be closed.
