Christopher Kings-Lynne <chriskl@familyhealth.com.au> writes:
> Maybe you guys should keep a list of all places that need updating and
> all jobs that need to be done before a release, so we don't forget
> anything :)
src/tools/RELEASE_CHANGES ... but it didn't occur to me to consult that
while relabeling 7.5 to 8.0 :-(
regards, tom lane