[ros-diffs] [cwittich] 20743: make GedMurphy happy