On 8/14/10 1:22 PM, John Smith wrote:
On 15 August 2010 03:21, Nathan Edgars II<nerou...@gmail.com> wrote:
tourism=theme_park renders on Mapnik; perhaps this should be changed
to amusement_park (is there really a difference other than marketing?)
If one already renders, why change it?
wasn't in the wiki, didn't know it renders.
most amusement parks aren't really "theme" parks, don't know
if i care about the distinction, though.
richard
_______________________________________________
Tagging mailing list
Tagging@openstreetmap.org
http://lists.openstreetmap.org/listinfo/tagging
