Checking pipeline status.
Merge details
added 1 commit
Compare with previous version
added 2 commits
enabled an automatic merge when the pipeline for 07930b89 succeeds
merged
mentioned in commit 95a126a5