Mentions légales du service
GitLab upgrade completed. Current version is 17.11.4.
This commit fix the problem that happens if the tracing tool that generates a trace did not use an MPI communicator.