[ros-users] ROS J Turtle Naming Brainstorming

Jonathan Bohren jonathan.bohren at gmail.com
Fri Apr 18 14:22:44 UTC 2014

On Fri, Apr 18, 2014 at 8:08 AM, Georg Heppner <heppner at fzi.de> wrote:

> +1 for Jade
> Could also make nice logos of jade turtle figurines.

Also it should make everyone happy! The Star Wars nerds can call it ROS
*Mara* Jade if they want...

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ros.org/pipermail/ros-users/attachments/20140418/9b3fef39/attachment.html>

More information about the ros-users mailing list