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(-)