pgsql: Stamp HEAD as 10devel.

Stamp HEAD as 10devel.

This is a good bit more complicated than the average new-version stamping
commit, because it includes various adjustments in pursuit of changing
from three-part to two-part version numbers.  It's likely some further
work will be needed around that change; but this is enough to get through
the regression tests, at least in Unix builds.

Peter Eisentraut and Tom Lane

Branch
------
master

Details
-------
http://git.postgresql.org/pg/commitdiff/ca9112a424ff68ec4f2ef67b47122f7d61412964

Modified Files
--------------
configure                         | 20 ++++++++++----------
configure.in                      |  4 ++--
doc/bug.template                  |  2 +-
doc/src/sgml/runtime.sgml         | 31 ++++++++++++++++++++-----------
src/backend/catalog/genbki.pl     |  4 ++--
src/backend/utils/init/miscinit.c | 26 +++++++++++++-------------
src/bin/pg_upgrade/check.c        |  6 +++---
src/bin/pg_upgrade/server.c       |  2 +-
src/include/pg_config.h.win32     |  8 ++++----
src/interfaces/libpq/libpq.rc.in  |  8 ++++----
src/port/win32ver.rc              |  4 ++--
src/tools/msvc/Solution.pm        |  6 +++---
src/tools/version_stamp.pl        | 14 ++++++--------
13 files changed, 71 insertions(+), 64 deletions(-)