[ros-diffs] [arty] 39808: Pull from git, part 10.