Deprecate leisure=recreation_ground in favor of the more popular landuse=recreation_ground

This commit is contained in:
Quincy Morgan
2019-05-18 17:05:11 -04:00
parent 62b32779d3
commit 901e808c76
2 changed files with 5 additions and 0 deletions
+4
View File
@@ -463,6 +463,10 @@
"old": {"leisure": "video_arcade"},
"replace": {"leisure": "amusement_arcade"}
},
{
"old": {"leisure": "recreation_ground"},
"replace": {"landuse": "recreation_ground"}
},
{
"old": {"man_made": "cut_line"},
"replace": {"man_made": "cutline"}
+1
View File
@@ -1845,6 +1845,7 @@
{"key": "leisure", "value": "club", "description": "🄳 ➜ club=*"},
{"key": "leisure", "value": "social_club", "description": "🄳 ➜ club=*"},
{"key": "leisure", "value": "video_arcade", "description": "🄳 ➜ leisure=amusement_arcade"},
{"key": "leisure", "value": "recreation_ground", "description": "🄳 ➜ landuse=recreation_ground"},
{"key": "man_made", "value": "cut_line", "description": "🄳 ➜ man_made=cutline"},
{"key": "man_made", "value": "jetty", "description": "🄳 ➜ highway=footway + man_made=pier"},
{"key": "man_made", "value": "mdf", "description": "🄳 ➜ telecom=exchange"},