assigned to @delpino
enabled an automatic merge when the pipeline for 8394ccc8 succeeds
merged
mentioned in commit dad3173e