Re: 9.5 release notes

Andres Freund <andres@anarazel.de> writes:
> I'm working on integrating the suggestions I made last week to the
> release notes. Would anybody mind if I start to add commit ids in
> comments, similar to what Tom has done for minor releases, to news
> items?

+1.  Helps confirm which items are meant to correspond to which commits.

In case you didn't realize it already, the stuff I put into the minor
release notes is from src/tools/git_changelog.  Dunno whether we need
to use that exact format for major releases though; there's no need to
identify branches in major release notes.
        regards, tom lane