My adventures in ntp resulted in finding out that different ntp servers handle leap seconds differently. Googles will gradually stretch the second out over time

My adventures in ntp resulted in finding out that different ntp servers handle leap seconds differently. Googles will gradually stretch the second out over time, which violates the NTP standard of just adding or subtracting the second. So if your setup depends on very accurate time, make sure you know what NTP servers you're using.