[ros-diffs] [cwittich] 42494: delete obsolete diff