[ros-diffs] [hpoussin] 31822: Fix double " spotted by Christoph_vW