Minutes February 24 2021 - math-comp/math-comp GitHub Wiki

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

Reimplementation of the MathComp hierarchy in HB: how we organize, parallelize, proceed?

Cyril will send a mail about this soon.

Finding a release manager for 1.13.0

Christian volunteers with Yves as a backup.

Questions:

After the port of mathcomp to HB, this will break user code in a dramatic way, we might need to bump up the major version number (2.0.0). If that's the case should we poll our users as to whether they would like backports to 1.x that do not affect structures?