Downtime on 23 October

The site will be unavailable from 2020-10-23T07:00:00Z for a server reboot, followed by a Discourse software update. I estimate that this may take about half an hour. As always, check https://status.firedrake.org/ for updates.

1 Like

All done, after some delays.