The site will be unavailable from 2022-05-14T08: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.
4 Likes
Organises 
Carinthia.xx
2 Likes
What fresh devilry is this, eh?
[back-up beers for Feral, just in case]
2 Likes
This work has been completed.
4 Likes
Carinthia.xx
2 Likes