Checking pipeline status.
Merge details
Pipeline #3236 passed
Pipeline passed for 9bdae990 on master 5 years ago
merged
mentioned in commit 9bdae990