Resolves #18 (closed).
Checking pipeline status.
Merge details
Closed #18 (closed)
mentioned in commit a39c8eb2
merged