OpenStreetMap's Discussion of the Renaming of Gulf of Mexico to Gulf of America (community.openstreetmap.org) 8 points by odo1242 1y ago ↗ HN
1 comment
[ 2.8 ms ] story [ 9.2 ms ] thread