Merge pull request #82 from westnordost/patch-2

deprecate leisure=table_tennis_table in favour of leisure=pitch+sport…
2026-05-24 00:54:03 +02:00 · 2020-12-09 17:42:30 -05:00
parent 67056f569e 12e28ca43d
commit f1f95cdb4d
1 changed files with 4 additions and 0 deletions
@@ -877,6 +877,10 @@
    "old": {"leisure": "recreation_ground"},
    "replace": {"landuse": "recreation_ground"}
  },
+  {
+    "old": {"leisure": "table_tennis_table"},
+    "replace": {"leisure": "pitch", "sport": "table_tennis"}
+  },
  {
    "old": {"leisure": "video_arcade"},
    "replace": {"leisure": "amusement_arcade"}