Downtime on 14 July

#1

My mate is expecting to do a major upgrade on this server on 14 July. As always, if the site is unavailable, keep an eye on https://status.firedrake.org/ for details. (Yes, I know that that itself is not the most reliable server.)

#2

All done. And it’s conveniently beer o’clock.

#3

Just out of curiosity, is that ever not convenient?

#4

:beers:

Carinthia.xx