Closes #23 (closed)
Checking pipeline status.
Pipeline #9433 passed
Pipeline passed for 6f0321e6 on master 5 years ago
mentioned in commit 6f0321e6
merged