Oct. 6, 2018
8:44 p.m.
eggert@cs.ucla.edu said:
* NEWS, leapseconds.awk: Add support for leap seconds at the ends of months other than June and December.
A leap second other than June or December is probably an error in the input data. I would leave the check and add a big comment. Maybe write the code so that it is a simple edit to disable the check. I think there is provision for an intermediate stage between Jun/Dec and every month. Apr/Jun/Sep/Dec. -- These are my opinions. I hate spam.