On Tue, 10 Nov 2020 at 15:30, Joseph Eisenberg <[email protected]> wrote:
> > I think the best option is to deprecate water=pond and suggest using > water=lake for natural lakes, even small ones, > No, I don't agree, sorry. Same as the difference between rivers & streams, there is a difference between lakes & ponds (actually due to teh depth, not teh size!), so we should keep them both. Thanks Graeme
_______________________________________________ Tagging mailing list [email protected] https://lists.openstreetmap.org/listinfo/tagging
