Anthony Sales <tony.sales@rncb.ac.uk> wrote: > Hi, I have never reported a bug to Debian before, so I am not sure of the the > process, or whether this is a recognised bug - I did some googling but > couldn't find any reference to it. Have a look at http://bugs.debian.org/ Also, install the reportbug package and run reportbug, which is the best bug reporting tool that I've ever used.