Fixes issue #38
See issue #38 (closed)
See issue #38 (closed)
enabled an automatic merge when the pipeline for 65a94142 succeeds
canceled the automatic merge
enabled an automatic merge when the pipeline for 88a296fb succeeds
merged
mentioned in commit 117553e9