Re: [ros-dev] Infrastructure problems today