朝からリリース作業をしていたわけですが、無事リリースできたのではないかと思います。よかった、よかった。