assigned to @joaol09
enabled an automatic merge when the pipeline for 7376e440 succeeds
merged
mentioned in commit 0ffdfab3