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