Hi everyone, Has anyone else seen GPS time jump by -13.7 usec today? I just heard from several geographically quite distributed radio observatories that they have seen their GPS receiver(s) jump compared to their in-house standards. Regards, Paul Boven.