From d1deb56daeaa38e137f982f2283eadc73feb4a5c Mon Sep 17 00:00:00 2001
From: Peter Newman <peternewman@users.noreply.github.com>
Date: Sun, 28 Jun 2020 15:23:45 +0100
Subject: [PATCH] Correct the typo pavillion to pavilion in the building tag

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

diff --git a/data/deprecated.json b/data/deprecated.json
index 6644ca349..84f806ded 100644
--- a/data/deprecated.json
+++ b/data/deprecated.json
@@ -247,6 +247,10 @@
     "old": {"building": "household"},
     "replace": {"building": "house"}
   },
+  {
+    "old": {"building": "pavillion"},
+    "replace": {"building": "pavilion"}
+  },
   {
     "old": {"building:color": "*"},
     "replace": {"building:colour": "$1"}