> David Thompson fixed this in the CVS. Please get the latest sources > from the CVS.
I have failed to find a way to use CVS from behind our firewall. I have checked the cvsweb and it appears to me the changes there are really old. I guess I wait until the next release. [EMAIL PROTECTED]
