GOMEZ Henri wrote:

> The reported name is incorrect, I'll fix that in CVS but too late...
>

That is really strange - I checked in this change last night (6:43PM Pacific
time).

Craig


Reply via email to