On Sat, Jul 24, 2004 at 07:53:48PM +0200, Frank Küster wrote: > Is this o.k., or should I try to upload from here? I don't think that it matters whether it is fixed now, or in two days, so long as the bug is fixed. -- - mdz