From: John Maddock (john_at_[hidden])
Date: 2007-08-30 04:55:40


Paul A Bristow wrote:
> Is this a mixed /\ problem?

Yes.

> (Whoever created this \/\/ muddle should be shot, however rich!)
>
> My/the current version has all ///

That's 'cos I fixed it last night :-)

John.