June 25, 2014
9:11 p.m.
The attached additional patch restores the original dates of reference to the commentary, where appropriate. Relative to commit 437a13201659d805fbdea9e89cbf22023de3ba79 <https://github.com/eggert/tz/commit/437a13201659d805fbdea9e89cbf22023de3ba79>, dated Wed Jun 25 13:53:15 2014 -0700. -- Tim Parenti On 25 June 2014 16:58, Paul Eggert <eggert@cs.ucla.edu> wrote:
On 06/25/2014 01:09 PM, Tim Parenti wrote:
why are we retaining the usno* files in the first place?
Only inertia, as far as I know. These latest glitches suggest that they're more trouble than they're worth nowadays, and that it's time to remove them. Attached is a proposed patch, which I've added to the experimental version on github.