From b5e87cadfb1a8df17501d5d65fb8e1ebead579d4 Mon Sep 17 00:00:00 2001
From: Tobias Zwick <newton@westnordost.de>
Date: Sun, 28 Apr 2019 18:10:12 +0200
Subject: [PATCH] Deprecate amenity/leisure=club/social_club

See https://wiki.openstreetmap.org/wiki/Key%3Aclub , club is documented as a top-level tag
---
 data/deprecated.json | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/data/deprecated.json b/data/deprecated.json
index 4e9d137ad..ec0e2099e 100644
--- a/data/deprecated.json
+++ b/data/deprecated.json
@@ -24,6 +24,10 @@
       "old": {"amenity": "citymap_post"},
       "replace": {"tourism": "information"}
     },
+    {
+      "old": {"amenity": "club"},
+      "replace": {"club": "*"}
+    },
     {
       "old": {"amenity": "community_center"},
       "replace": {"amenity": "community_centre"}
@@ -108,6 +112,10 @@
       "old": {"amenity": "sloped_curb"},
       "replace": {"kerb": "lowered"}
     },
+    {
+      "old": {"amenity": "social_club"},
+      "replace": {"club": "*"}
+    },
     {
       "old": {"amenity": "swimming_pool"},
       "replace": {"leisure": "swimming_pool"}
@@ -419,6 +427,10 @@
       "old": {"leisure": "club"},
       "replace": {"club": "*"}
     },
+    {
+      "old": {"leisure": "social_club"},
+      "replace": {"club": "*"}
+    },
     {
       "old": {"leisure": "video_arcade"},
       "replace": {"leisure": "amusement_arcade"}