[userbinator]

Actually, GPS time is not adjusted for leap seconds:

http://tycho.usno.navy.mil/leapsec.html

[XorNot]

That's neither here nor there: GPS receivers, and the GPS satellites, do broadcast the leap-second insertions (though they don't reset their own clocks, they simply maintain the differential as additional information).