On Sat, Jul 22, 2000 at 09:07:56AM +0200, Christian Ospelkaus wrote:
> Any help is appreciated,
It is a bug which is already fixed.
-- To unsubscribe, send mail to: email@example.com --
-- with the single word "unsubscribe" in the body of the message. --
This archive was generated by hypermail 2b29 : Sun Jul 23 2000 - 05:38:19 EDT