approved this merge request
enabled an automatic merge when the pipeline for 06c7b3df succeeds
merged
mentioned in commit ed9626d3