Hello Hugo! Just a short note, http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=213092 might be of interest, too. Cheers, Flo
Attachment: pgp0r17pNZu32.pgp Description: PGP signature