I do get the same problem with current cvs as was reported last night. And I 
did a fresh check out, etc. . 
--
Johannes

Reply via email to