assigned to @vermaas
enabled an automatic merge when the pipeline for ce9dc31f succeeds
merged
mentioned in commit a3b026f0