554
In light of recent events, here's OpenStreetMap editors discussing naming of the Gulf of Mexico
(community.openstreetmap.org)
this post was submitted on 12 Feb 2025
554 points (98.6% liked)
Technology
62117 readers
3699 users here now
This is a most excellent place for technology news and articles.
Our Rules
- Follow the lemmy.world rules.
- Only tech related content.
- Be excellent to each other!
- Mod approved content bots can post up to 10 articles per day.
- Threads asking for personal tech support may be deleted.
- Politics threads may be removed.
- No memes allowed as posts, OK to post as comments.
- Only approved bots from the list below, to ask if your bot can be added please contact us.
- Check for duplicates before posting, duplicates may be removed
- Accounts 7 days and younger will have their posts automatically removed.
Approved Bots
founded 2 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
Persian Gulf or Gulf of Iran?
I just checked, and OSM has it as Persian Gulf, with the alternative name Arabian Gulf.
Comes down to the language/data of the user I guess
Edit: I'll be using this with my Gulf War veteran father tho, bet your ass