James, can you confirm that you're referring to http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=407171 ?
James, can you confirm that you're referring to http:// bugs.debian. org/cgi- bin/bugreport. cgi?bug= 407171 ?