[ros-diffs] [cfinck] 31405: Oops, forgot to delete them in my previous commit