Hello, I just posted a fix to bug #284855[1] which should also workaround the problem that you describe.
Thierry [1]: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=284855
signature.asc
Description: Digital signature
Hello, I just posted a fix to bug #284855[1] which should also workaround the problem that you describe.
Thierry [1]: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=284855
signature.asc
Description: Digital signature