<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Tue, Sep 26, 2017 at 3:25 AM, Selfish Seahorse <span dir="ltr"><<a href="mailto:selfishseahorse@gmail.com" target="_blank">selfishseahorse@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">At present, with<br>
leisure=swimming_pool used for the water area only and many private<br>
pools tagged with it (what I think makes no sense at all), the results<br>
are completely useless. And because the public swimming pool<br>
facilities are all tagged differently - which results from the fact<br>
that there is no dedicated tag -, this problem can't be solved.<br></blockquote></div><br></div><div class="gmail_extra">There's ample reason for mapping private swimming pools, so I<br></div><div class="gmail_extra">take issue with "makes no sense at all". How else are you going to<br></div><div class="gmail_extra">indicate to fire fighters that there is a swimming pool on the premises<br></div><div class="gmail_extra">(both as a hazard and as a source of water)?<br><br></div><div class="gmail_extra">There's absolutely nothing wrong with 'leisure=swimming_pool access=private',<br></div><div class="gmail_extra">and I've surely tagged a few dozen of them.<br></div></div>