Mentions légales du service
GitLab upgrade completed. Current version is 17.11.3.
Fix !77 (merged)
Checking pipeline status.
Merge details
added MPI label
requested review from @ramet
assigned to @faverge
added 1 commit
Compare with previous version
I merge this PR without review as it fixes a major issue.
approved this merge request
enabled an automatic merge when the pipeline for 9f3cafdf succeeds
mentioned in commit 174fdeac
merged
