April 6, 2017
3:35 p.m.
On Tuesday, April 4, 2017 6:30 PM, Bradley White <bww@acm.org> wrote:
...
The "Leap" line references the second that should be removed, so 23:59:59 (stationary) is correct.
Interesting. Thanks for the information. It will be helpful knowing the correct way to encode a negative leap second. It's not what I'd have intuited. I'm still plowing through all the C code (the ultimate "documentation").