On Fri, May 24, 2002 at 11:25:47PM +0200, Patrick Gundlach wrote: > "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?
Actually, no. As I am not too familiar with context, I didn't know which changes affected the format. Of course, I could have found out, but it just didn't occur to me. Now that I have recreated the format, it works indeed. Thanks. Denis
