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