> time somebody did an update patch?

That's what I was asking, isn't it?

What is your proposal?  From Klaus's and Doug's pointers, I really see
no immediate need to revise.

__Henry

Reply via email to