4 ms·
That is misleading. Leap seconds are considered by GPS but the primary time source does not include them. However a receiver can without additional informatio
by the_mitsuhiko 4y ago
That is misleading. Leap seconds are considered by GPS but the primary time source does not include them. However a receiver can without additional information correct leap seconds if it listens for leap second announcements coming in from the stream. They are announced every ~12 minutes and months in advance.