[ros-users] ROS J Turtle Naming Brainstorming

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...

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