approved this merge request
enabled an automatic merge when the pipeline for 1b9aae94 succeeds
mentioned in commit 936dae25
merged