Downtime on 14 July


#1

I’m 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

Oh no! It is the 14th now!

Happy Bastille Day, everyone!


#3

All upgrades are done. The revolution was conducted over an encrypted link and will not be made public.