The site will be unavailable from 2023-07-02T08:00:00Z for major system updates and a Discourse rebuild. This will probably take an hour or more. As always, check https://status.firedrake.org/ for updates.
And done.
(Ambles off singing “Lord, It’s Hard To Be Humble”.)
(please don’t reply here; this thread is closed.)
3 Likes