Create a script to handle stamping release version numbers into files,
authorTom Lane <[email protected]>
Tue, 10 Jun 2008 18:09:01 +0000 (18:09 +0000)
committerTom Lane <[email protected]>
Tue, 10 Jun 2008 18:09:01 +0000 (18:09 +0000)
commit0ca8205d9417879a0644c6e0e300a817731bb48b
treead9cf8e8bfe1bab2f5a4a4bfaa47c5fde49204fb
parentc688393cd2d9a852f24a0e162e33f58272367ea3
Create a script to handle stamping release version numbers into files,
replacing the tedious and error-prone manual process we've been using.
src/tools/RELEASE_CHANGES
src/tools/version_stamp.pl