Before revision: (The GPS epoch was Sunday January 6, 1980 at 00:00:00 UTC, but GPS does not follow UTC leap seconds.
After revision: For reference, theexactly because GPS time does not incorporate GPS epoch was Sunday January 6, 1980 at 00:00:00 UTC, but GPS does not follow UTC leap seconds.