[Tagging] Swimming pools

[Philip Barnes]

On Wed Dec 16 10:48:29 2015 GMT, Christoph Hormann wrote:
> On Wednesday 16 December 2015, Matthijs Melissen wrote:
> >
> > Sorry, I think I misunderstood you. I wondered if you (or somebody
> > else) has a suggestion for a tag for the collection of the pool(s)
> > together with dressing rooms, showers etc. Or do you think this
> > collection does not deserve a separate tag?
> 
> leisure=water_park
> amenity=public_bath

Isn't the term public_bath somewhat outdated?  I can remember them existing in the 1960s, but they were removed from my local swimming pool building in the 1970s, the space being used for a training pool.

Phil (trigpoint)
-- 
Sent from my Jolla