On Wed, Jun 05, 2002 at 11:15:40AM +0200, Pavel Tsekov wrote: >I see that this patch is no longer required. The snapshot from July >4th includes a similiar change. Yes. I attributed the change to you in the ChangeLog. cgf