JOG: メンテナンスのためサーバ停止

5/15（木）の日中にメンテナンスのため Robustサーバを停止させます．
作業内容は，データバックアップ用の HDDの増設です．
勉強と体験のために学生に作業を行わせます．
そのため，停止時間等はまだ未定です．

よろしくお願いします．