Checking pipeline status.
Merge details
added 1 commit
Compare with previous version
enabled an automatic merge when the pipeline for aa20a9d0 succeeds
merged
mentioned in commit 7b16c535