Fix incorrect use of term HEAD for Git HEAD as used here was CVS terminology. Now we mean master.
Branch ------ master Details ------- https://git.postgresql.org/pg/commitdiff/cc4ec2d29ac4f3b8335d1851627a9735b81beb50 Modified Files -------------- src/tools/RELEASE_CHANGES | 6 +++--- src/tools/git_changelog | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-)
