approved this merge request
enabled an automatic merge when the pipeline for dd737052 succeeds
merged
mentioned in commit c527920d