March 31, 2015
6:19 p.m.
On 2015-03-29 18:46, Paul Eggert wrote about the rules for Chile:
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.
Same for the line Rule Chile 1947 only - Apr 1 4:00u 0 - which does the same as its precursor Rule Chile 1946 only - Sep 1 3:00u 0:00 - and which is superfluous as there is (currently) no usage of the Chile rules starting after 1946-09-01T03 and before or on 1947-04-01T04. Michael Deckers.