GitLab upgrade completed. Current version is 17.11.3.
changed milestone to %Chameleon 1.4.0
added StarPU label
requested review from @faverge
assigned to @alisito
approved this merge request
enabled an automatic merge when all merge checks for 9e75428d pass
mentioned in commit d4f8c579
merged