Checking pipeline status.
Pipeline #3449 passed
Pipeline passed for 339c6632 on master 5 years ago
enabled an automatic merge when the pipeline for 94f9c3e7 succeeds
mentioned in commit 339c6632
merged
