[ros-diffs] [hpoussin] 28703: Fix boot