Checking pipeline status.
Merge details
Pipeline #9658 passed
Pipeline passed for 4d045869 on master 5 years ago
assigned to @jaltekruse
merged
mentioned in commit 4d045869