The site will be unavailable from
2020-12-19T08:00:00Z for a 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 and seems to be working.