うるう秒挿入について

今年の6/30に最終秒を挿入（日本時間だと8時59分60秒）するので、以前書いたメモを読み直し

うるう秒の挿入 確認方法 - 屑籠というかゴミ箱
うるう秒ちゃんと補正されてた - 屑籠というかゴミ箱