Agreed, thanks, I've changed "GPS" to "GPS time" in my original comment to clarify. I apologise for the misleading original phrasing.
GPS time was intentionally designed not to be perturbed by leap seconds. Other time sources based on atomic clocks have this property too. Makes sense if you consider that GPS relates to the Earth, but leap seconds…
Agreed, thanks, I've changed "GPS" to "GPS time" in my original comment to clarify. I apologise for the misleading original phrasing.
GPS time was intentionally designed not to be perturbed by leap seconds. Other time sources based on atomic clocks have this property too. Makes sense if you consider that GPS relates to the Earth, but leap seconds…