Fixes #528 (closed)
enabled an automatic merge when all merge checks for 6c3d402d pass
merged
mentioned in commit b8ff8291