ああ、やっと6月のアップデート来たのねと思ってアップデートしたら7.1.1になっててビックリした。