On Fri, 9 Aug 2013, Paul Eggert wrote:
On 08/09/2013 06:44 AM, Derick Rethans wrote:
people listing the zones for "HR" (Croatia) now will see the name of a Serbian city.
These zone.tab entries are present only as a convenience for users who run programs like 'tzselect'.
Maybe that was the original idea, but that does not mean that people don't use it differently from the original intented usage. I've always admired the way David ran this to keep this project stable with as little changes as he could get away with. It frustrates me that this is now no longer the case. I don't understand why the changes to zone.tab have to be made. I realize Zagreb/Belgrade are *right now* following the same rules, but that does not necessarily have to be the case in the future. Leaving: HR +4548+01558 Europe/Zagreb in zone.tab doesn't hurt anything at all.
I hope this doesn't turn into a political football, but if it does we can simply remove any controversial zone.tab entries.
The better solution is just to *not change it* in the first place! cheers, Derick