ポイントリリースってこの時期だっけ？
なんか夏か秋ごろだったような記憶があるんだけど。