tree 138216fda75d2e1e4d50205b7aa861f52a0c55d6
parent 5df36cd3571d0906bb723dacbda8225633ac06e9
author amywu <amywu> 1216272794 +0000
committer amywu <amywu> 1216272794 +0000

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