[PlayerStage-Gazebo] Minor patches


Thread view