approved this merge request
enabled an automatic merge when the pipeline for 4cd27acf succeeds
merged
mentioned in commit 756f7bf7