Checking pipeline status.
Pipeline #8204 passed with warnings
Pipeline passed with warnings for 7597ad85 on master 4 years ago
enabled an automatic merge when the pipeline for 640d31d2 succeeds
merged
mentioned in commit 7597ad85