[ros-diffs] [chorns] 19555: Merge duplicate definitions