From 6e7d21755508c5d8d66603965a76c0c103db0e5a Mon Sep 17 00:00:00 2001
From: Quincy Morgan <quincy.morgan@icloud.com>
Date: Tue, 12 Mar 2019 14:19:42 -0400
Subject: [PATCH] Deprecate highway=platform

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

diff --git a/data/deprecated.json b/data/deprecated.json
index 0c12d3c49..1f1eb093a 100644
--- a/data/deprecated.json
+++ b/data/deprecated.json
@@ -183,6 +183,10 @@
     {
       "old": {"highway": "no"}
     },
+    {
+      "old": {"highway": "platform"},
+      "replace": {"bus": "yes", "highway": "bus_stop", "public_transport": "platform"}
+    },
     {
       "old": {"highway": "stile"},
       "replace": {"barrier": "stile"}