[tz] Wrong spelling of a city in a timezone name

[Paul Eggert]

On 10/9/18 12:15 PM, Michael Douglass wrote:
> Is it still too soon to suggest opaque ids again? 

Oh, probably. :-)

I've been filtering out duplicate messages notifying us that Brazil 
looks like it's going to start DST two weeks late this spring, as the 
messages are not adding any information to the topic. At some point it 
will be time to filter out duplicate "let's change 'Kiev' to 'Kyiv'" 
messages for the same reason, as the duplication will be causing more 
harm than good and this is irrespective of the merits of the arguments 
on either side.