The auto update bot crashed during an automatic update; sorry about that.

💯 The server is now up to date.