]> granicus.if.org Git - postgresql/commit
Fix incorrect use of term HEAD for Git
authorPeter Eisentraut <peter@eisentraut.org>
Mon, 7 Oct 2019 07:44:17 +0000 (09:44 +0200)
committerPeter Eisentraut <peter@eisentraut.org>
Mon, 7 Oct 2019 07:44:17 +0000 (09:44 +0200)
commitcc4ec2d29ac4f3b8335d1851627a9735b81beb50
tree3d63b194077fb467958ab426ac4f70c1437d19ad
parentcaa078353ecd1f3b3681c0d4fa95ad4bb8c2308a
Fix incorrect use of term HEAD for Git

HEAD as used here was CVS terminology.  Now we mean master.
src/tools/RELEASE_CHANGES
src/tools/git_changelog