Mykola A. Nickishov at [EMAIL PROTECTED] wrote:

> Hi! How can I fix this problem?

It works for me with the latest CVS checkout AND update -Pd

    Pier

Reply via email to