Update the integration repo (fixes #842)
Merge pull request #843 from pculture/gh-842

Update the integration repo (fixes #842)