From 12e28ca43d53e3166af157c64fa7fbb7c32f3347 Mon Sep 17 00:00:00 2001
From: Tobias Zwick <newton@westnordost.de>
Date: Wed, 9 Dec 2020 23:23:25 +0100
Subject: [PATCH] deprecate leisure=table_tennis_table in favour of
 leisure=pitch+sport=table_tennis

---
 data/deprecated.json | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/data/deprecated.json b/data/deprecated.json
index 375785c0..5e8b9476 100644
--- a/data/deprecated.json
+++ b/data/deprecated.json
@@ -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"}