you are viewing a single comment's thread
view the rest of the comments
[–] 15 points 1 month ago (8 children)

Is Google maps a thing? Have they changed the name?

  • source
  • hideshow 8 child comments
  • [–] 20 points 1 month ago (6 children)

    They did when he declared the Gulf of Mexico had a new name, so did others. Nearly immediately.

  • source
  • parent
  • hideshow 6 child comments
  • [–] 9 points 1 month ago* (last edited 1 month ago) (1 child)

    Only if you were looking at the map from a US IP address iirc. It's still gulf of Mexico for the rest of the world, but with the stupid name in brackets now after it.

  • source
  • parent
  • hideshow 1 child comment