Re: issue 34: Should portTypes be extensible?

+1


Jeffrey Schlimmer wrote:

> +1 that redundancies should be trimmed

Received on Thursday, 20 June 2002 11:24:22 UTC