approved this merge request
enabled an automatic merge when the pipeline for 05977151 succeeds
mentioned in commit 8a901752
merged