approved by damien
enabled an automatic merge when the pipeline for 9e9219da succeeds
canceled the automatic merge
merged
mentioned in commit 5aa84f8b