assigned to @vermaas
enabled an automatic merge when the pipeline for 59ab6504 succeeds
merged
mentioned in commit 922d9ea3
mentioned in commit 6ac7595b