Hacker News new | ask | show | jobs
by nielsbot 494 days ago
So did this change at the US agency level? Or is this preemptive?
2 comments

> "President Donald Trump signed an executive order for the name change in January, and the change entered the federal naming database, the Geographic Names Information System, this week."

Temporary federal change until the next president signs an executive order un-doing it.

It changed at the US agency level.