On Tue, 1 Jun 1999, Wichert Akkerman wrote: > Previously Santiago Vila wrote: > > AFAIK, it is not needed anymore. > > I think it was decided to remove it, but it has not been done yet. > > Has a bugreport for this been filed already? Good point. No, I can't find it in the bug list. I'm going to report it if there are not objections. Thanks. -- "7a99fb6b7bfc21f14e35ce1ce83c5102" (a truly random sig)