[tz] Chile TZ rule 1942 June superfluous? PS

[Paul Eggert]

michael.deckers wrote:
>    On 2015-03-29 18:46, Paul Eggert wrote about the Chile rules:
>
>> Yes, that's right.  The line mentioning "Jul 15" can be removed without changing
>> the meaning of the data.  I don't know why that line is there, but I suppose we
>> can remove it.
>
>    The same seems to hold true for the line
>         Rule  Chile  1947   only   -   Apr 1   4:00u   0       -
>    because its precursor
>         Rule  Chile  1946   only   -   Sep 1   3:00u   0:00    -
>    does the same, and (current) usage of the Chile rules never
>    starts after 1946-09-01T03Z and on or before 1947-04-01T04Z.

Yes, that also seems correct; removing the 1947 line causes no change to the 
output.  Thanks.