suggest to discard "playground:theme=playground" tags

see #1188 (comment)
openstreetmap · Apr 5, 2024 · ed497a3 · ed497a3
1 parent fb072ab
commit ed497a3
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/data/deprecated.json b/data/deprecated.json
@@ -1265,6 +1265,9 @@
  "old": {"place_name": "*"},
  "replace": {"name": "$1"}
  },
+ {
+ "old": {"playground:theme": "playground"}
+ },
  {
  "old": {"pole": "transition"},
  "replace": {"location:transition": "yes"}