[Tagging] Swimming pools

[Matthijs Melissen]

On 16 December 2015 at 02:07, Warin <61sundowner at gmail.com> wrote:
> As only the swimming pool should be tagged with swimming_pool... not any
> changing rooms, showers, toilets .. that may be present and shared with
> other things. These should have their own tags.

Yes, that would make sense. Do you have a suggestion of what this tag might be?

-- Matthijs