sent from a phone > On 15. Aug 2020, at 19:12, Paul Allen <pla16...@gmail.com> wrote: > > If we decide that > we want to tag such things in the first place.
as there was significant discussion how to tag them, it doesn’t seem that not mapping them is an option we still have to discuss Cheers Martin _______________________________________________ Tagging mailing list Tagging@openstreetmap.org https://lists.openstreetmap.org/listinfo/tagging