[LEAPSECS] leapseconds, converting between GPS time (week, second) and UTC

[Michael Deckers]

On 2019-01-18 17:11, Michael H Deckers wrote:



>
>    .. insert a step of 0.2 s in their time signal about every 71 days.
>
    when he meant "about every 77 days".

    Michael Deckers.