Posted Jul 3, 2012 21:07 UTC (Tue) by corbet (editor, #1)
[Link]
You'd be amazed how hard it is to get that kind of patch merged...
Leaping seconds and looping servers
Posted Jul 4, 2012 10:37 UTC (Wed) by nix (subscriber, #2304)
[Link]
But, dammit, that sort of thing is just what a body with a name like the International Earth Rotation Service should do! Should the Earth spin on unregulated?
(I note that they've been renamed to the 'International Earth Rotation and Reference Systems Service', which is a very much less nifty name somehow.)