On Wed, May 11, 2005 at 12:31:35AM +0200, Thijs Kinkhorst wrote:
> > That did the trick indeed.
> 
> So this bug can now be closed?

I would say so.

David


-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Reply via email to