From dc2d489c7e4981721709ecbc4dfa9a12a660c134 Mon Sep 17 00:00:00 2001 From: Quincy Morgan Date: Fri, 6 Dec 2019 11:06:30 -0500 Subject: [PATCH] Remove `leisure=social_club` deprecation due to possible mixed usage (re: #6252) --- data/deprecated.json | 4 ---- data/taginfo.json | 1 - 2 files changed, 5 deletions(-) diff --git a/data/deprecated.json b/data/deprecated.json index 3c5a31325..affe74500 100644 --- a/data/deprecated.json +++ b/data/deprecated.json @@ -607,10 +607,6 @@ "old": {"leisure": "ice_rink", "sport": "skating"}, "replace": {"leisure": "ice_rink", "sport": "ice_skating"} }, - { - "old": {"leisure": "social_club"}, - "replace": {"club": "*"} - }, { "old": {"leisure": "video_arcade"}, "replace": {"leisure": "amusement_arcade"} diff --git a/data/taginfo.json b/data/taginfo.json index 81c380719..f06a7aa12 100644 --- a/data/taginfo.json +++ b/data/taginfo.json @@ -2025,7 +2025,6 @@ {"key": "leisure", "value": "beach", "description": "🄳 ➜ natural=beach"}, {"key": "leisure", "value": "club", "description": "🄳 ➜ club=*"}, {"key": "leisure", "value": "golf_pin", "description": "🄳 ➜ golf=pin"}, - {"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"},