assigned to @clemenci
approved this merge request
enabled an automatic merge when the pipeline for 3f5d8b98 succeeds
merged
mentioned in commit bdb84f5f