[ros-diffs] [hbirr] 18539: Merging didn't remove this file. I don't know why.