On Thu, Apr 7, 2016 at 11:25 AM, Devon Ash <
noobaca2@gmail.com> wrote:
> Do we have to always use a turtle? To be honest, I'm bored of it. I'm
> suggesting a Lion.
>
> Leonardo Lion!
Well, turtles are a long-standing tradition. I could see giving that up at
some point, but not with the letter "L", which begins so many lovely turtle
names.
--
joq
_______________________________________________
ros-users mailing list
ros-users@lists.ros.org
http://lists.ros.org/mailman/listinfo/ros-users