I prefer not to have this release info in the pull request, though I can handle it after merging.