In light of recent events, here's OpenStreetMap editors discussing naming of the Gulf of Mexico (community.openstreetmap.org)
in technology@lemmy.world from zlatiah@lemmy.world on 12 Feb 2025 01:30
comments (101)