[Tagging] amenity=festival_ground

[Nelson A. de Oliveira]

On Tue, Jul 31, 2018 at 1:46 PM, Mike H <1jgon6 at gmail.com> wrote:
> The third case was for places that are designated to host festivals such as
> fairgrounds, showgrounds, etc... These sites will often be used for other
> uses when they are not hosting festivals, but they are primarily built for
> the festival.

Is it similar to
https://wiki.openstreetmap.org/wiki/Proposed_features/leisure%3Devents
? (which we probably failed to find a better word to represent such
areas when starting the proposal)