enabled an automatic merge when the pipeline for c7a36485 succeeds
By Cresson Remi on 2022-11-04T13:12:41 (imported from GitLab)
merged
mentioned in commit 733da8ed
By Cresson Remi on 2022-11-04T13:24:18 (imported from GitLab)