Checking pipeline status.
Pipeline #1058 passed
Pipeline passed for f7d98ef5 on master 6 years ago
merged
mentioned in commit f7d98ef5