Closes #32 (closed)
Checking pipeline status.
assigned to @dominik
merged
mentioned in commit 508496af