[esterel5,mercantour6] move to production (!1067) · 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 Lucas Nussbaum requested to merge est5_merc6_prod into master 2 months ago

Admin message