Dec. 8, 2023
10:30 p.m.
On 12/8/2023 5:07 PM, Paul Eggert wrote:
On 2023-12-08 14:04, Brooks Harris wrote:
As far as I can tell there is no "leap-seconds.list" file at IERS.
It's here:
https://hpiers.obspm.fr/iers/bul/bulc/ntp/leap-seconds.list
as mentioned in 'leapseconds' and 'leapseconds.awk'. Ah. Thanks. Sure enough. I missed the /ntp/ directory. Interesting. All the comments are entirely different, while the crucial information appears identical. One beauty of leap-seconds is there are so very many versions. :-|