[LEAPSECS] happy anniversary pips

[David Malone]

> People have been working for the past 15 years to make leap seconds

> better, yet in the last leap second all Linux kernels crashed due

> to a subtle bug that is only triggered when there was a leap second.


My understanding wasn't that all Linux kernels crashed. I though
some fraction of the kernels with the bug crashed, because the bug
wasn't deterministic and depended on locks being held elsewhere in
the kernel.

	David.