Hi!

On Mon, 12 Jun 2000 Mark Wielaard wrote:

--<snip>--

>Are you sure that you are using the latest CVS version?
>This problem was fixed a month ago.

Oops! Sorry my bad. I got me the latest version, but from the wrong CVS
repository!

Ciao,
Andreas


Reply via email to