Minutes July 7 2021 - math-comp/math-comp GitHub Wiki

Participants: Christian Doczkal, Cyril Cohen, Kazuhiko Sakaguchi, Laurent Thery, Pierre Roux, Pierre-Yves Strub, Reynald Affeldt, Yves Bertot.

Milestone 1.13.0.

• We can postpone it since Coq 8.14 is not ready yet, so new PRs (e.g. #763, #731, #764) can be added.
• #501 is finally ready
• #752 must be re-reviewed
• #698 / #766 locking rat makes coqeal fail, Pierre will investigate, also Cyril was not awake and pushed some deadcode.

Authors & contributors

• Contributors to be added to the CHANGELOG.md
• File AUTHORS -> INITAL_AUTHORS with a paragraph to point to the CHANGELOG