assigned to @babadie
enabled an automatic merge when the pipeline for 8bb22e59 succeeds
mentioned in commit 3bc5a52a
merged