This message is to inform package managers that the V8.12.1 tag has
been put and it is time to update Coq in your favorite package
repository / registry.
A proper announcement of the release will follow (probably on Monday)
once the Windows installers are signed.
Your 8.12 release managers, Emilio and Théo