4.2へのアップデート

先週末には4.2が出ていたのだが、コミケ前と言うこともあって、4.14のままにしておいた。コミケも終わり、一段落ついたので、4.2へアップデートした。このところ、一回でアップデートがうまくいくことが少なかったが、久しぶりに、一回でうまくいった。