assigned to @denolf
enabled an automatic merge when the pipeline for cf77269f succeeds
merged
mentioned in commit c430ebc6