On Sun, Jan 01, 2017 at 12:54:19PM +0000, Adrian Godwin wrote: > I wonder if someone wasn't ready for their extra second :
> http://www.bbc.co.uk/news/uk-38482746 If, as the article says, they had to record things manually from 00:30 to 05:15 GMT, then I guess it probably wan't leap second related? David. _______________________________________________ time-nuts mailing list -- time-nuts@febo.com To unsubscribe, go to https://www.febo.com/cgi-bin/mailman/listinfo/time-nuts and follow the instructions there.