The proofs system is launching tomorrow. I've just finished a couple of last-minute patches, need to get them in, release rc2, so that 2.8.0 can launch tomorrow as well

And oof, I have not written a release blog post yet

@Gargron 🤠I’ve been waiting for that for so long!! That’s amazing!!

Sign in to participate in the conversation

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!