Dirk,

I've made the second change in the CVS tree.

About the first one:  Any debate?  If not, I'll make the change.

Bill

Reply via email to