Re: [ros-dev] Google Summer of Code 2019