I think it could make sense to advertise the Coq session at IJCAR on July 3 via the CoqLang Twitter account (https://easychair.org/smart-program/IJCAR2020/2020-07-03.html#session:46059) and also call for people to register for free for virtual IJCAR (https://ijcar2020.org/registration-conferences/)
Also, I think a tweet about the 8.11.2 release makes sense.
For this, it would need to be announced first, which it hasn't yet!
I thought the definition of "released" was nowadays "marked as 'Latest release' on GitHub"? (Which 8.11.2 is now)
The release was created so that the Windows packages could be uploaded but this is still missing the macOS packages, there has been no news published on the Coq website, no e-mail or Discourse announcement and the Coq website still links to the 8.11.1 release as the latest.
So the last steps of the release are still missing...
This topic was moved by Théo Zimmermann to #Coq devs & plugin devs > Coq 8.11.2 release plans
Last updated: Nov 29 2023 at 04:01 UTC