Closes #63 (closed)
Checking pipeline status.
enabled an automatic merge when the pipeline for a2cf6e42 succeeds
mentioned in commit 9fc19c5c
merged