Closes #3 (closed)
Checking pipeline status.
Merge details
Closed #3 (closed)
added bug label
mentioned in commit 38e9c820
merged