RE: issue 34: Should portTypes be extensible?

+1 that redundancies should be trimmed

Received on Thursday, 20 June 2002 10:59:53 UTC