Hi Armin, What's the status about this bug? What do you think about the patch offered by Marian? Debian will freeze at the end of August, it would be great if this bug could be fixed for it.
Bye, Carl -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
