enabled an automatic merge when the pipeline for 5eeb83d6 succeeds
By Cresson Remi on 2022-09-30T15:31:32
merged
mentioned in commit 51d56074
By Cresson Remi on 2022-09-30T15:42:22