Ah it's a leap second year again :) Is it no so that time servers just add second "60" to a minute when doing this . Are not Google smearing out the second over a whole day or some such to avoid to trip up to many servers etc ?
I have no idea how will be handled. I only learned about it a few days ago...
-- Michael _______________________________________________ beta mailing list [email protected] http://lists.slimdevices.com/mailman/listinfo/beta
