approved this merge request
enabled an automatic merge when the pipeline for 94cfe13d succeeds
merged
mentioned in commit a1c0356e