Checking pipeline status.
Merge details
assigned to @christoph.harmel
merged
mentioned in commit 418c609e