projects / users / rhaas / postgres.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: caa0783) | patch
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
tree3d63b194077fb467958ab426ac4f70c1437d19adtree
parentcaa078353ecd1f3b3681c0d4fa95ad4bb8c2308acommit | diff
Fix incorrect use of term HEAD for Git

HEAD as used here was CVS terminology.  Now we mean master.
src/tools/RELEASE_CHANGES diff | blob | blame | history
src/tools/git_changelog diff | blob | blame | history
Robert Haas's development tree.