pgsql: Stamp HEAD as 11devel.

Stamp HEAD as 11devel.

Note that we no longer require any manual adjustments to shared-library
minor version numbers, cf commit a3bce17ef. So this should be everything.

Branch
------
master

Details
-------
https://git.postgresql.org/pg/commitdiff/9f14dc393bd441dd9251bea2a5a3ad7f889b03c5

Modified Files
--------------
configure | 18 +++++++++---------
configure.in | 2 +-
doc/bug.template | 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 +-
8 files changed, 23 insertions(+), 23 deletions(-)

--
Sent via pgsql-committers mailing list (pgsql-committers@postgresql.org)
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgsql-committers