J. Auer

Google Maps to rename 'Gulf of Mexico' to 'Gulf of America' for US users Google Maps will change the name of "Gulf of Mexico" to "Gulf of America" once it is officially updated in the U.S. Geographic Names System, it said in an X post on Monday.

I will be continuing to call it the Gulf of Mexico because I don't cater to the whims of a ridiculous felon

www.reuters.com/world/us/goo...

Oh man, I missed that one! There's too much to keep up with...

I think you meant to say `printf("Hello, world.\n");`

Wow, I didn't even get my first post right - it should have read "If I post and nobody reads it, did I really post?". #sad

If I and nobody reads it, did I really post?