Urgent kernel and Discourse patches needed to be applied; sorry about that. Everything should be running normally now. Bookmark https://status.firedrake.org/ for a separate information channel.
4 Likes
Urgent kernel and Discourse patches needed to be applied; sorry about that. Everything should be running normally now. Bookmark https://status.firedrake.org/ for a separate information channel.