[ros-diffs] [mf] 14932: merge ROS Shell without integrated explorer part into trunk