[ros-diffs] [gvg] 15713: Merge 15334:15712 from trunk (but don't activate xmlbuild)