Please create a tag for the upcoming release of Coq 8.13
The Coq team is planning to release Coq 8.13-beta1 on December 7, 2020 and Coq 8.13.0 on January 7, 2020.
Your project is currently scheduled for being bundled in the Windows installer.
We are currently testing commit ba4dbb3e on branch https://gitlab.inria.fr/gappa/gappa/tree/master but we would like to ship a released version instead (a tag in git's slang).
Could you please tag that commit, or communicate us any other tag that works with the Coq branch v8.13 at the latest 15 days before the date of the final release?
Thanks!