[ros-diffs] [arty] 35222: Sorry, forgotten file from Gregor Schnieder's patch.