On 3 November 2013 15:58, fly <[email protected]> wrote:
> I wonder if we should not use leisure in general and try to avoid
> amenity. At least for new tags and tags with low numbers leisure=*
> should be used.

I agree, I will move amusement_arcade to the leisure key.

However, I will leave casino in the amenity key, as moving it to the
leisure key seems too much trouble (mainly for data consumers) for too
little gain.

-- Matthijs

_______________________________________________
Tagging mailing list
[email protected]
https://lists.openstreetmap.org/listinfo/tagging

Reply via email to