I remember hearing at a conference about 10 years ago that Google does not make use of leap seconds. Instead, they spread them across regular seconds (they modified their NTP servers). I quickly searched online and found the original article [1].
[1] https://googleblog.blogspot.com/2011/09/time-technology-and-...