Fixes #10 (closed)
Enabled an automatic merge when the build for 522361d3 succeeds
mentioned in commit 6111b094
Status changed to merged