うちの会社で使っているGPSソースのNTPは
2年ほど前の年末にうるう秒があったとき23:59:59が2回入った。
本当ならGPSはうるう秒配信できるんだよね・・・？