approved this merge request
enabled an automatic merge when the pipeline for 31de7829 succeeds
merged
mentioned in commit 226f510f