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
[–] 19 points 2 years ago (6 children)

It is the gulf of mexico. The whole thing is just president musk and vp trump power tripping. Also a distraction from other, much worse thjngs happening right now.

  • permalink
  • fedilink
  • source
  • hideshow 6 child 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
  • [–] 3 points 2 years ago (1 child)

    Idk if this is true, but someone brought up it might be related to Biden putting in an order to not allow new drilling in the gulf of Mexico, so to get around it Trump and Co Just renamed it.

    Again, no idea if this is true, haven't had a chance to look it up since I heard it an hour ago or so, but it sounds plausible lol

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 1 child comment
    •