The site will be unavailable from 2021-10-17T08:00:00Z for a kernel update, followed by a Discourse rebuild for a new forum version. I estimate that this may take about 10-15 minutes total. As always, check https://status.firedrake.org/ for updates.
All work has been completed.
2 Likes