Closes #13 (closed).
Checking pipeline status.
Merge details
Closed #13 (closed)
merged
mentioned in commit e92e4e9f