assigned to @rju
approved this merge request
enabled an automatic merge when the pipeline for 030108aa succeeds
merged
mentioned in commit 33b55225