assigned to @julianao
approved this merge request
added 2 commits
main
Compare with previous version
enabled an automatic merge when the pipeline for c3a09617 succeeds
merged
mentioned in commit e8283f9d