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