Nicholas Clark wrote: > On Fri, Sep 06, 2002 at 09:01:13PM +0200, Leopold Toetsch wrote: > >>#17026 was reverted by committing minor print changes.
> It has been reverted, but not in the way you describe: Ah, thanks for doing the research work. > I would prefer not to be the committer to fix this - I'd only become a > third person and add to the confusion. Many thanks for sorting this out and correcting the problem. > Nicholas Clark leo