Closes #477
assigned to @mweise
enabled an automatic merge when the pipeline for d2c39c4c succeeds
aborted the automatic merge because source branch was updated
added 2 commits
Compare with previous version
added 1 commit
mentioned in commit 278fe27b
merged