Give priority to tag sport over leisure=pitch #2925

Merged
AntonM030481 merged 1 commit from leisure-pitch into master 2022-07-05 18:47:13 +00:00

View file

@ -134,6 +134,7 @@ private:
{"amenity", "shelter"},
{"amenity", "toilets"},
{"amenity", "drinking_water"},
{"leisure", "pitch"}, // Give priority to tag "sport"=*.
{"public_transport", "platform"},
{"building", "address"},
{"building", "has_parts"},