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