On Thu, Apr 7, 2016 at 11:30 AM, Jack O'Quin via ros-users <ros-users@lists.ros.org> wrote:

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.

Well, its turtles all the way down, isn't it?

--linas

I could see giving that up at some point, but not with the letter "L", which begins so many lovely turtle names.