sent from a phone
> On 24. Aug 2020, at 22:10, Joseph Eisenberg <joseph.eisenb...@gmail.com> > wrote: > > But if you want to change the definition how could you change the definition of an undocumented tag? Cheers Martin _______________________________________________ Tagging mailing list Tagging@openstreetmap.org https://lists.openstreetmap.org/listinfo/tagging
