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 :-)
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 :-)