Sept. 11, 2019
12:40 a.m.
On 9/10/19 3:34 PM, Dennis Ferguson wrote:
I think you probably want to stop at 11 rather than 12.
Thanks for catching that typo; it would have caused a failure if we ever had an leap second announcement or expiration date (or leap second itself!) in February. I installed the attached patch.