On Fri, Apr 28, 2000 at 07:13:53PM +0200, Manfred Hollstein wrote: > Alexandre Oliva posted a patch the other day, which backs out a patch > from Jan causing this failure. I've attached a copy of the patch. It should be fixed for real in CVS as of this morning. r~