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(-)