[ros-diffs] [cfinck] 37178: Merge r37177 This should be the very final now, no more bugs accepted ; -)