June 25, 2014
8:58 p.m.
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.