approved this merge request
enabled an automatic merge when the pipeline for 20745f69 succeeds
merged
mentioned in commit c9993fd4