At 12:46 07/09/2003 +0100, Ceri Davies wrote: > > This should be assigned to ports, not ports-bugs. :) > >No, this was changed a few months ago. Must have been on holiday when it changed then. :) Regards, d.