再ビルドしても5.6.2にしかならんかったわ
5.7.はdevって書いてあるけどそれは開発者向けってこと？devはマネージャーではパッチの自動ダウンロードはされないから5.6.2にしかマネージャーでは出来ないのかね？