Closes #26 (closed).
enabled an automatic merge when the pipeline for ffe91f95 succeeds
merged
mentioned in commit 3e404a90