On Wed, 13 Jun 2001, Andre Poenitz wrote:

> > So the bug is still there, but at least I have a workaround.
> > Now if we document it, does it become a feature? :-)
>
> No. It should get fixed during the summer.

Yes, but _which_ summer?

:-)
Allan. (ARRae)

Reply via email to