サーバーアップグレード後にブートストラップ失敗エラーが発生しました

[pfaffman (Jay Pfaffman)]

@shim

it would be helpful if they pushed the new PR so that we can update it via the console.

Here’s what he said in the other topic.

@RGJ

the PR is already on my to-do-list and will be available later today or tomorrow.

That’s pretty good service if you ask me.