tree 5bd2691864d5a91eba368ad81551d3686b8f7292
parent 22180aab5b861794736dd3f0e8b10a7089725f25
author amywu <amywu> 1216271739 +0000
committer amywu <amywu> 1216271739 +0000

[213471] Renaming of a port type affects all port types with the same name