This adds an option to preserve the tags of the renamed iname in rename_iname. The tags are apparently dropped by duplicate_inames, which rename_inames calls. This is probably because it is unclear which tags should survive in the case of renaming/duplicating multiple inames. It is more clear for the single iname case.
inducer
commented
1 year ago
This adds an option to preserve the tags of the renamed iname in
rename_iname. The tags are apparently dropped byduplicate_inames, whichrename_inamescalls. This is probably because it is unclear which tags should survive in the case of renaming/duplicating multiple inames. It is more clear for the single iname case.