Resolves #25 (closed).
Checking pipeline status.
Merge details
Closed #25 (closed)
merged
mentioned in commit 06ee24be