Checking pipeline status.
closed
By Tom Vierjahn on 2017-11-23T09:09:08 (imported from GitLab)
We need some decent refactoring here … closing.
By Tom Vierjahn on 2017-11-23T09:09:30 (imported from GitLab)