From 48cee14aeb4233c2d8e06c7fe0e1157ff60ab805 Mon Sep 17 00:00:00 2001 From: Quincy Morgan Date: Mon, 29 Jun 2020 09:17:05 -0400 Subject: [PATCH] Add derived changes for #7749 --- data/taginfo.json | 1 + 1 file changed, 1 insertion(+) diff --git a/data/taginfo.json b/data/taginfo.json index 18b3c4950..5b94a2cdf 100644 --- a/data/taginfo.json +++ b/data/taginfo.json @@ -2060,6 +2060,7 @@ {"key": "building", "value": "family_house", "description": "🄳 ➜ building=house"}, {"key": "building", "value": "home", "description": "🄳 ➜ building=house"}, {"key": "building", "value": "household", "description": "🄳 ➜ building=house"}, + {"key": "building", "value": "pavillion", "description": "🄳 ➜ building=pavilion"}, {"key": "building:color", "description": "🄳 ➜ building:colour=*"}, {"key": "building:height", "description": "🄳 ➜ height=*"}, {"key": "building:material", "value": "Brick", "description": "🄳 ➜ building:material=brick"},