Enabled an automatic merge when the build for 4f1e30c9 succeeds
mentioned in commit ed35e85c
Status changed to merged