Hi,

thanks for reporting this. It's fixed in CVS now.

regards
-- jochen



Reply via email to