-
POTTIER Francois authored
so as to avoid OCaml's warning 41.
a9eb4f36
To find the state of this project's repository at the time of any of these versions, check out the tags.
La mise à jour de gitlab est terminée. Nous sommes désormais en version 16.11.1
Merci de consulter la release note:
https://about.gitlab.com/releases/2024/04/18/gitlab-16-11-released/
so as to avoid OCaml's warning 41.