"Denis B. Roegel" <[EMAIL PROTECTED]> writes: Hello Denis, Hans, ...
> On Wed, May 22, 2002 at 11:42:36PM +0200, Hans Hagen wrote: > > it is a bug, which is already solved: already? :) > It still doesn't work if I make this change. Does it work > for someone else? It works nicely for me. Did you regenerate the format files? Patrick -- I'll fade into the darkness
