Checking pipeline status.
Pipeline #1722 passed
Pipeline passed for 139fe6cc on master 7 years ago
mentioned in commit 139fe6cc
merged