3 ms·GPS time isn't UTC, it's... GPS Time. It's unaffected by leap seconds.by danellis 10y agoGPS time isn't UTC, it's... GPS Time. It's unaffected by leap seconds.