approved this merge request
enabled an automatic merge when the pipeline for 65fa8e27 succeeds
mentioned in commit 5ef10ae3
merged