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

[Steve Allen]

On Tue 2019-01-15T11:40:07-0800 Tom Van Baak hath writ:
> Also, presumably Python is based on POSIX?  Does it use time_t or
> gmtime?  Why did Jim's quick Python experiment fail?

Guido said that the mainline of Python would not support leap seconds.

--
Steve Allen                    <sla at ucolick.org>              WGS-84 (GPS)
UCO/Lick Observatory--ISB 260  Natural Sciences II, Room 165  Lat  +36.99855
1156 High Street               Voice: +1 831 459 3046         Lng -122.06015
Santa Cruz, CA 95064           https://www.ucolick.org/~sla/  Hgt +250 m