[ros-diffs] [janderwald] 22178: forgot header in last commit bug report(1455) & patch by w3seek