From d971370bcaee1d3c5df1f02b5a22a8a90b31221f Mon Sep 17 00:00:00 2001
From: Tobias Zwick <newton@westnordost.de>
Date: Wed, 14 Feb 2024 11:25:01 +0100
Subject: [PATCH] deprecated `tourism=resort` (-> `leisure=resort`) (#1103)

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

diff --git a/data/deprecated.json b/data/deprecated.json
index 693ad012..e7474c8b 100644
--- a/data/deprecated.json
+++ b/data/deprecated.json
@@ -1689,6 +1689,10 @@
     "old": {"tourism": "picnic_table"},
     "replace": {"leisure": "picnic_table"}
   },
+  {
+    "old": {"tourism": "resort"},
+    "replace": {"leisure": "resort"}
+  },
   {
     "old": {"tower:type": "power"},
     "replace": {"power": "tower"}