[ros-dev] Re: Mail server maintenance on Tuesday, 6th December