-
Jean-Christophe Filliâtre authored
array.ArraySorted is now generic, with type and order relation parameters
981d11a6
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/
array.ArraySorted is now generic, with type and order relation parameters