On Monday, December 31, 2018, Tobias Wrede <l...@tobias-wrede.de> wrote:
> > Now that several comments here indicate that the only practical > distinction today is the name on the front sign I come to think that we > could abandon the tag altogether. > +1
_______________________________________________ Tagging mailing list Tagging@openstreetmap.org https://lists.openstreetmap.org/listinfo/tagging