Fix up release notes odd commit and test out the github pull request bui...

...lder from jenkins.

Please ignore this pull request if you get an email about it. I'm testing the jenkins pull request builder integration.