Deprecate crossing=island in favor of crossing:island=yes (close #6748)

This commit is contained in:
Quincy Morgan
2019-08-20 09:30:34 -05:00
parent 0cfdd9af8d
commit cf65f040b7
23 changed files with 67 additions and 32 deletions
+4
View File
@@ -236,6 +236,10 @@
"old": {"craft": "sculpter"},
"replace": {"craft": "sculptor"}
},
{
"old": {"crossing": "island"},
"replace": {"crossing:island": "yes"}
},
{
"old": {"crossing": "zebra"},
"replace": {"crossing": "marked"}