598
In light of recent events, here's OpenStreetMap editors discussing naming of the Gulf of Mexico (community.openstreetmap.org)
submitted 2 years ago* by to c/technology@lemmy.world
98 comments fedilink hide all child comments
 

As of revision version #85, OpenStreetMap has the following tags for Golfo de México:

  • name:en Gulf of Mexico
  • official_name:en-US Gulf of America
you are viewing a single comment's thread
view the rest of the comments
[–] 13 points 2 years ago (1 child)

Personally I'd prefer it if they spent all four years renaming things to Mount Hitler or whatever instead of doing anything actual.

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 1 child comment
    •
  • [–] 1 point 2 years ago

    If it was left up to Trump he probably would. I don't think he's entirely sane at this point, unfortunately there are plenty of people manipulating things behind the scenes and they do have plans.

  • permalink
  • fedilink
  • source
  • parent