Fix incorrect use of term HEAD for Git

Peter Eisentraut <peter@eisentraut.org>

Commit: cc4ec2d29ac4f3b8335d1851627a9735b81beb50
Author: Peter Eisentraut <peter@eisentraut.org>
Date: 2019-10-07T07:44:17Z
Releases: 13.0
Fix incorrect use of term HEAD for Git

HEAD as used here was CVS terminology.  Now we mean master.

Files

PathChange+/−
src/tools/git_changelog modified +1 −1
src/tools/RELEASE_CHANGES modified +3 −3