Closes #6 (closed)
enabled an automatic merge when the pipeline for aa65bfc4 succeeds
Thank you!
merged
mentioned in commit 25ed0a26