Re: Encoding of src/timezone/tznames/Europe.txt

[Christoph Berg]

Re: Tom Lane
> Done that way.  I also checked for other discrepancies between
> tznames/Default and the other files, and found a few more trivialities.

Thanks!

Christoph