This message is to inform package managers that the V8.12.2 tag has
been set and it is time to update Coq in your favorite package
repository / registry.
A proper announcement of the release will follow (probably on Monday).
This initially unplanned release is in response to two impacting 8.12
regressions that were only discovered and fixed after the 8.12.1
Your 8.12 release managers, Emilio and Théo