サーバー切り替えは9月中旬

もろもろの事情を勘案して，サーバーの切り替えは9月中旬か，後半に実施することにしました．

コメントについて

当記事へのコメント欄は，記事公開後一定期間で閉鎖されます．その際は適当な新しい記事に当記事の表題を引用して，コメントしてください．