Re: [tz] Chile changes dates for DST from 2019

Aug. 13, 2018


      Tim Parenti wrote:
...
Proposed patch attached.
Thanks, that was quick work! I installed it into the development repository on 
GitHub.

Paul Eggert