approved this merge request
enabled an automatic merge when the pipeline for 99f8f36d succeeds
merged
mentioned in commit 324086ce