Thread: pgsql: Stamp HEAD as 13devel.

pgsql: Stamp HEAD as 13devel.

From

Tom Lane

Date:

01 July 2019, 19:51:02

Stamp HEAD as 13devel.

Let the hacking begin ...

Branch
------
master

Details
-------
https://git.postgresql.org/pg/commitdiff/615cebc94b5ef8fbe353e3c8b838b1e97bcdfd49

Modified Files
--------------
configure                        |   18 +-
configure.in                     |    2 +-
doc/src/sgml/filelist.sgml       |    2 +-
doc/src/sgml/release-12.sgml     | 3249 --------------------------------------
doc/src/sgml/release-13.sgml     |   16 +
doc/src/sgml/release.sgml        |    2 +-
src/include/pg_config.h.win32    |    8 +-
src/interfaces/libpq/libpq.rc.in |    8 +-
src/port/win32ver.rc             |    4 +-
src/tools/git_changelog          |    2 +-
src/tools/version_stamp.pl       |    2 +-
11 files changed, 40 insertions(+), 3273 deletions(-)