assigned to @Diziet
enabled an automatic merge when the pipeline for 91dc3db3 succeeds
mentioned in commit 0fee2188
merged