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.)
Oh no! It is the 14th now!
Happy Bastille Day, everyone!
1 Like
All upgrades are done. The revolution was conducted over an encrypted link and will not be made public.