On Tuesday 11 February 2003 03:53, Dirk Mueller wrote: > On Mon, 10 Feb 2003, Dirk Mueller wrote: > > The linenumbers are not quite correct anymore because I started hacking > > on it already. > > I've committed my fix now. Thanks, no more such lockups :-). -Malte