Checking pipeline status.
Merge details
closed
By Till Petersen-Krauß on 2018-08-08T11:49:40 (imported from GitLab)