esterel1 into master (!1102) · Merge requests · grid5000 / reference-repository

GitLab upgrade completed. Current version is 17.11.1. We now benefit from the features of the release 17.11.

Merged DOMINOIS Hugo requested to merge testing-esterel1 into master 2 months ago

Admin message