I'd go for Lucky Leonardo, Lucky Leopard or Lucky Leaf.

Lucky is generally easy to write while those second-names can serve as
basis for awesome t-shirt designs ;)

Cheers,
Bence

2016-04-08 10:10 GMT+01:00 Patrick Wiesen via ros-users <
ros-users@lists.ros.org>:

> I like
>
> Last Leopard
>
> for the Leopard Tortoise or
>
> Lucky Leonardo
>
> for Leonardo from TMNT
>
> _______________________________________________
>> ros-users mailing list
>> ros-users@lists.ros.org
>> http://lists.ros.org/mailman/listinfo/ros-users
>>
>
>
> _______________________________________________
> ros-users mailing list
> ros-users@lists.ros.org
> http://lists.ros.org/mailman/listinfo/ros-users
>
>