enabled an automatic merge when the pipeline for e31918ea succeeds
merged
mentioned in commit 110a434e
changed title from Develop to Regular merge of develop