[ros-diffs] [jgardou] 56054: first cause of broken commits: the headers. Addendum r56048