From e67d124d8cbc456be24844e294f0ffb1b78184fd Mon Sep 17 00:00:00 2001 From: Tobias Zwick Date: Wed, 14 Feb 2024 11:23:03 +0100 Subject: [PATCH] Deprecate `tourism=picnic_table` (#1104) --- data/deprecated.json | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/data/deprecated.json b/data/deprecated.json index ed95d9fd..693ad012 100644 --- a/data/deprecated.json +++ b/data/deprecated.json @@ -1685,6 +1685,10 @@ "old": {"tourism": "bed_and_breakfast"}, "replace": {"tourism": "guest_house", "guest_house": "bed_and_breakfast"} }, + { + "old": {"tourism": "picnic_table"}, + "replace": {"leisure": "picnic_table"} + }, { "old": {"tower:type": "power"}, "replace": {"power": "tower"}