>>>>> On Thu, 27 Jul 2000 16:36:38 +0100, Graham Barr <[EMAIL PROTECTED]> said:

  > Done.

Thanks Graham, I think I found the bug in the meantime and fixed it.
Still needs some testing.

-- 
andreas

Reply via email to