Minor update to try and tackle #46 (closed).
enabled an automatic merge when the pipeline for 8fa9a6d7 succeeds
merged
mentioned in commit 3f94a441