Checking pipeline status.
Pipeline #1895 passed
Pipeline passed for bf95ff83 on master 7 years ago
mentioned in commit bf95ff83
merged