On Fri, Apr 18, 2014 at 8:08 AM, Georg Heppner <
heppner@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
_______________________________________________
ros-users mailing list
ros-users@lists.ros.org
http://lists.ros.org/mailman/listinfo/ros-users