Maintenance: Deploying v1.7.12

Completed.

3 Oct 20:08, lasted 3 min.

1. 3 Oct 20:11Completed. Maintenance completed.
2. 3 Oct 20:08Scheduled. A new version is being rolled out. The app restarts for a few seconds.