A Matter of Degrees, Pt. 2

[Matthew P Wiener]

>I remember one year (it must have been '79 or '80) when they cut out a
>whole quarter second... ! It was really cool!

>But shifts of that magnitude are rare indeed [...]

If I remember correctly, the official time protocols have room for leap
seconds and for removing seconds, and these are taken care of at the
end of June or December.  And that about a dozen leap seconds have been
added in the past 20-30 years, and none removed.
--
-Matthew P Wiener (weemba at sagi.wistar.upenn.edu)