しかしまじめに閏秒の設定して使ってる人っているのかね?
今まで見たことないんだが。