Close #4 (closed)
Enabled an automatic merge when the build for c70210b8 succeeds
Status changed to merged
mentioned in commit ce95fbb7