tags 636117 - moreinfo thanks [tag unreproducible was already added as I mixed up two of my bug reports - sorry]
Hi Klaus, sorry but I don't see that you'll react any time soon. I'll close this bug now as it's not reproducible by me and by upstream. Best regards, Philip -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org