assigned to @delpino
enabled an automatic merge when the pipeline for a25bd897 succeeds
mentioned in commit 18db88ed
merged