Re: [ros-dev] more HEAD crashing