deprecate leisure=table_tennis_table in favour of leisure=pitch+sport=table_tennis

This commit is contained in:
Tobias Zwick 2020-12-09 23:23:25 +01:00 committed by GitHub
parent 67056f569e
commit 12e28ca43d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -877,6 +877,10 @@
"old": {"leisure": "recreation_ground"},
"replace": {"landuse": "recreation_ground"}
},
{
"old": {"leisure": "table_tennis_table"},
"replace": {"leisure": "pitch", "sport": "table_tennis"}
},
{
"old": {"leisure": "video_arcade"},
"replace": {"leisure": "amusement_arcade"}