Checking pipeline status.
Pipeline #231324 passed
Pipeline passed for 87871de5 on master Jan 22, 2020
enabled an automatic merge when the pipeline for e8c1e2ae succeeds
merged
mentioned in commit 87871de5
