This reverts merge request !38 (merged)
Checking pipeline status.
Merge details
mentioned in commit 4f48bf99
merged