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
>
>
_______________________________________________
ros-users mailing list
ros-users@lists.ros.org
http://lists.ros.org/mailman/listinfo/ros-users