Martin Koppenhoefer wrote:
IMHO "summer_holiday" would be preferable because we should avoid abbreviations
... and people have already used the abbreviation "SH" for "School Holidays" (which I'd argue also ought not to be abbreviated for the same reason).
Cheers, Andy _______________________________________________ Tagging mailing list Tagging@openstreetmap.org https://lists.openstreetmap.org/listinfo/tagging
