approved this merge request
enabled an automatic merge when the pipeline for a5ef297a succeeds
added 1 commit
Compare with previous version
enabled an automatic merge when the pipeline for 98d0f23b succeeds
merged
mentioned in commit a1237f74