Hi there, We are very happy about all that the ROS community has achieved and we are also very excited every time we are close to a new release. However, the actual name of the release is (for me, please excuse me for that) not the most important topic. I therefore would like to know if it would be possible to execute this kind of discussions/voting on something else than the ros-users mailing list? Please consider this for next time. Best regards Stefan Grufman On Fri, Apr 8, 2016 at 6:41 AM, Marcus Liebhardt via ros-users < ros-users@lists.ros.org> wrote: > On 8 April 2016 at 09:46, Jon Binney via ros-users < > ros-users@lists.ros.org> wrote: > >> +1 lunar loggerhead, mainly because "lunar" is easy to type quickly! >> > > Even quicker would be: Lava > Plus there is a Leopard tortoise, which would also be a good basis for a > cool logo. > > So, throwing in another suggestion: Lava Leopard > > > _______________________________________________ > ros-users mailing list > ros-users@lists.ros.org > http://lists.ros.org/mailman/listinfo/ros-users > >