Checking pipeline status.
Pipeline #186117 passed
Pipeline passed for 0d60f0b8 on master 2 years ago
enabled an automatic merge when the pipeline for c3811cd2 succeeds
By Rémi Cresson on 2022-09-29T11:08:04 (imported from GitLab)
mentioned in commit 0d60f0b8
By Rémi Cresson on 2022-09-29T11:11:46 (imported from GitLab)
merged