assigned to @delpino
enabled an automatic merge when the pipeline for 3d644285 succeeds
merged
mentioned in commit 97a02aeb