Hi Andreas, thanks, merged + pushed once again :) This time though I had to modify your commit aea41f29ab8d87adee6013891d7c133e916d78e3 to resolve conflicts in debian/changelog...
cheers,
Holger
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
