Downtime on 16 July

The site will be unavailable from 2022-07-16T08: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.

1 Like

This work has been completed.
:dagger::goat:

4 Likes

:beers::beers::beers::beers::beers:

:beer::beer::beer::beer::beer:

Carinthia.xx

2 Likes