Checking pipeline status.
Merge details
Pipeline #144274 passed
Pipeline passed for 3139b22e on master 5 years ago
merged
mentioned in commit 3139b22e