[pgpool-committers: 4663] pgpool: Update version to 4.0 devel.

[Tatsuo Ishii]

Update version to 4.0 devel.

Branch
------
master

Details
-------
https://git.postgresql.org/gitweb?p=pgpool2.git;a=commitdiff;h=723072d51be26f562142f6232ed90d02a3fa0eed

Modified Files
--------------
configure                 | 20 ++++++++++----------
configure.ac              |  2 +-
doc/src/sgml/version.sgml |  2 +-
3 files changed, 12 insertions(+), 12 deletions(-)