On 18 Nov 2004, at 08:22, Robin Bowes wrote:

I'm actually using a very recent CVS version - checkecd out on 17th November 2004 at about 17;40 GMT. In fact, I've just run a cvs update and I'm totally up-to-date.

In that case it's a bug :-)



Reply via email to