サーバー更新

メインで使ってる複数のサーバーのDNSの書き換えがあったので作業。これは簡単なんだが、発行してる全メールのパスが書き換えられているので、これを更新するのがめちゃくちゃ大変。昼イチでまず数百更新だ。