Downtime on 18 May

The site will be unavailable from 2024-05-18T08:00:00Z for a server reboot and Discourse rebuild. I estimate that this may take up to half an hour. As always, check https://status.firedrake.org/ for updates.

This work has been completed. As usual, let me know any problems.

1 Like