Pulling release artifacts/changes into devel branch.

The only changes are those created during the release process.