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