assigned to @delpino
enabled an automatic merge when the pipeline for 5c31fcfb succeeds
approved this merge request
mentioned in commit 590ee9b8
merged