Checking pipeline status.
Pipeline #243248 passed
Pipeline passed for 43df9ddd on master 3 years ago
enabled an automatic merge when the pipeline for e8fabcb6 succeeds
mentioned in commit 43df9ddd
merged