Fixes issue #5 (closed)
assigned to @nicolaw
enabled an automatic merge when the pipeline for 02495e93 succeeds
merged
mentioned in commit 05432472