approved this merge request
enabled an automatic merge when the pipeline for 37649210 succeeds
mentioned in commit 19c713a8
merged
