assigned to @delpino
enabled an automatic merge when the pipeline for da106cec succeeds
mentioned in commit 6a007018
merged