March 15, 2016
5:37 a.m.
On 14 Mar 2016 04:03, Paul Eggert wrote:
Thanks for the heads-up; attached is a proposed patch.
This seems to forget Antarctica/Palmer, which (in the absence of contrary evidence) would presumably observe the same changes. Further patch 0002 attached. (Re-sent 0001 also fixes a small typo in Paul's commit message.) -- Tim Parenti