No worry Paul, sory I didn't notice your lalst comment before :)
What I'm asking you to do is to report the bug back to debian first, it's not the kind of diff which we want to carry specifically in ubuntu as it can benefit all debian users as well. I guess this link will give you what you need to know how to report it to debian, do not hesitate to ask if things are unclear: https://wiki.ubuntu.com/Debian/ForUbuntuDevelopers#Forwarding_bug_reports
No worry Paul, sory I didn't notice your lalst comment before :)
What I'm asking you to do is to report the bug back to debian first, it's not the kind of diff which we want to carry specifically in ubuntu as it can benefit all debian users as well. I guess this link will give you what you need to know how to report it to debian, do not hesitate to ask if things are unclear: /wiki.ubuntu. com/Debian/ ForUbuntuDevelo pers#Forwarding _bug_reports
https:/