Thanks Malte.
I was not sure until the recent posts http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=482140#222 and http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=482140#237 . This is indeed the same bug.
Thanks Malte.
I was not sure until the recent posts http:// bugs.debian. org/cgi- bin/bugreport. cgi?bug= 482140# 222 and http:// bugs.debian. org/cgi- bin/bugreport. cgi?bug= 482140# 237 . This is indeed the same bug.