Closes #412 (closed)
Enabled an automatic merge when the build for dd393943 succeeds
Status changed to merged
mentioned in commit 7a67ffa1