Closed ryanakca closed 3 years ago
Update the website accordingly
See also this thread: https://sympa.inria.fr/sympa/arc/coqdev/2021-05/msg00007.html
Update the website accordingly